Bibliografia

• Harry R. Lewis, Christos Papadimitriou - Elementos de Teoria da Computação - 2a. edição - Ed. Bookman - 2000.

• Thomas A. Sudkamp - Languages and Machines - Introduction to the Theory of Computer Science - Addison Wesley Publishing Company,Inc., 1988

• Michael Sipser - Introduction to the Theory of Computation - PWS Publishing Company - 1997

• Hopcroft and Ulman, Introduction to Automata Theory, Languages and Computation , Addison Wesley Publishing Company,Inc., 1979

• Marta Sagastume e Gabriel Baum - Problemas , Lenguages Y Algoritmos, Edidora da Unicamp - EBAI - 1986

• Roberto Lins de Carvalho e Cláudia Garcia Medeiros- Modelos de Computação e Sistemas Formais - NCE/UFRJ - 11a Escola de Computação - 1998