- MENEZES, Paulo Blauth. Linguagens Formais e Autômatos. Série Livros Didáticos, Sagra Luzzato Editores,
Porto Alegre, 1997.
- John E. Hopcroft, Jeffrey D. Ullman, Rajeev Motwani
Introdução à Teoria de Autômatos, Linguagens e Computação
Ed. Campus, 2002.
- LEWIS, H., PAPADIMITRIOU, C. Elementos de Teoria da Computação. trad. Edson Furmankiewicz. – 2ª ed. – Porto Alegre: Bookman, 2000.