Ementa

Classificação e propriedades das gramáticas, autômatos e linguagens formais. Decidibilidade.