Introdução à Linguagens Formais e Autômatos
Autômatos Finitos
Propriedades das Linguagens
Autômato de Pilha
Máquina de Turing e Linguagens enumeráveis recursivamente