Relembrar definições formais de gramática livre de contexto, derivação numa gramática, linguagem produzida por uma CFG.

Ambiguidade de uma CFG.

Forma normal de Chomsky. Motivação, prova que toda a CFG se escreve na forma normal de Chomsky.

Exemplos.

Estudar a Secção 2.1 do livro do Sipser.