Introdução às Linguagens Formais; Linguagens Regulares, Autômatos Finitos, Gramáticas Regulares, Expressões Regulares e Lema
do Bombeamento para Linguagens Regulares; Linguagens Livres de Contexto, Gramáticas Livres de Contexto, Autômatos de Pilha e
Lema do Bombeamento para Linguagens Livres de Contexto; Linguagens Sensíveis ao Contexto, Linguagens Enumeráveis,
Linguagens Recursivamente Enumeráveis e Máquinas de Turing; Computabilidade e Decidibilidade.
- Professor: Ruiter Caldas