It is a formal theory of computability in the same sense as classical logic is a formal theory of truth.

In 1928, the year Nash was born, von Neumann outlined a first formal theory of games, showing that in two-person, zero-sum games, there would always be an equilibrium.

This article attempts to demonstrate my belief that you don't need to know a lot about formal parsing theory to be able to parse!