[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.