As gramáticas de livre contexto, também conhecidas como BNF (Backus-Naur form) foram essênciais para a descrição das linguagens de programação. Criada inicialmente para descrever o Algol 58 e aperfeiçoada para o Algol 60, a BNF permite muita expressividade ao dar forma a uma linguagem de programação (LP).

Na disciplina de LP que ministro na PUC Minas é utilizada uma BNF para que os alunos tenham uma idéia de como ocorre o processo de análise de uma linguagem. Como parte da disciplina foi desenvolvido um Analisador de Sintaxe em JavaScript que pode ser utilizado para explicar o conceito e facilitar o processo de entendimento da Teoria.

O projeto é liberado para uso pedagógico, quem quiser acessá-lo, basta clicar no link do analisador.