Os aspectos léxicos de uma linguagem de programação podem ser definidos pelo formalismo expressões regulares.

Gramáticas livre de contexto não fatoradas à esquerda são necessárias ao implementar um analisador sintático descendente recursivo preditivo.

A maioria dos aspectos sintáticos de uma linguagem de programação são definidos pelo formalismo gramáticas livre de contexto.

Os aspectos léxicos de uma linguagem de programação podem ser reconhecidos pelo formalismo autômato finito determinístico.

Os aspectos léxicos de uma linguagem de programação podem ser definidos pelo formalismo gramática livre de contexto.