Una habilidad importante en la programación funcional es la capacidad de escribir un programa cuya estructura imite a una gramática libre de contexto. Esto es especialmente importante con los lenguajes de programación los cuales están descritos por sus propias gramáticas. De esta forma, uno de los principales objetivos del programador responsable es 'seguir la gramática'.

La idea de 'seguir la gramática' fue una de las claves que permitió a los científicos de la computación construir compiladores para lenguajes complejos como el Algol 60. Esto es fundamental para la compilación moderna dirigida por sintaxis.

Este documento trata de explicar que significa 'seguir la gramática' a través de una serie de ejemplos.