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