Algoritmos de parsing. Técnicas para remoção de ambiguidade. Eliminação da recursão à esquerda. Factorização à esquerda. A forma normal de Chomsky (CNF). Conversão que gramáticas para CNF: eliminação de símbolos desnecessários, de produções epsilon, e de produções unitárias. Estudo de exemplos.