[1]  H. R. Lewis e C. H. Papadimitriou. Elements of the Theory of Computation. Prentice Hall, second edition, 1997.

    Existe uma tradução: Elementos de Teoria da Computação, pela editora Bookman, segunda edição, 2004.

[2]  P. F. B. Menezes. Linguagens Formais e Autômatos. Editora Sagra Luzzatto, quarta edição, 2001.

[3]  J. E. Hopcroft, R. Motwani e J. D. Ullman. Introduction to Automata Theory, Languages and Computation. Addison-Wesley, second edition, 2001.

[4]  A. V. Aho, R. Sethi e J. D. Ullman. Compilers, Principles, Techniques And Tools. Addison-Wesley, 1996.

    Existe uma tradução: Compiladores, Princípios, Técnicas e Ferramentas, pela editora LTC, 1995.

[5]  M. Sipser. Introdução à Teoria da Computação. Cengage Learning, 2012.
Original: Sipser, Introduction to the Theory of Computation

[6]  N. J. Vieira.
Introdução aos Fundamentos da Computação
Thomson, 2006.

[7]  C. L. Lucchesi et al.
Aspectos Teóricos da Computação
IMPA, 1979.

[8]  E. Rich.
Automata, Computability and Complexity Theory and Application
Thomson, 2009.

[9]  D. Kozen.
Automata and Computability
Springer, 1997.