Nessa aula, apresenta-se o formalismo necessário à análise sintática: as gramáticas livres de contexto.