Resumen. En este artículo el lenguaje formal del futbol soccer es generado por una gramática libre de contexto, traducción de las reglas del juego, tal que las cadenas del lenguaje describen cualquier combinación posible de jugadas correctas, y así, un partido completo. La interacción entre los jugadores en el campo de juego conlleva un sistema de cómputo concurrente. Mediante centenares de simulaciones computacionales se valora el funcionamiento y desempeño del modelo y el sistema planteado. En particular, se aplica a las formaciones clásicas de un equipo al jugar bajo cierto esquema táctico y estratégico. Se analiza la aplicación del equilibrio de Nash para la selección de estrategias en el juego.