- J. E. Hopcroft, R. Motwani, J. D. Ullman, Introduction to Automata Theory, Languages, and Computation, 2nd edition, Addison-Wesley Publishing Company, Inc., Reading, MA, 2001.
- D. C. Kozen. Automata and Computability, Springer-Verlag, Inc., New York, NY, 1997.
- J. Martin. Introduction to Languages and the Theory of Computation, 3/e. McGrawHill 2004.
- M. Sipser. Introduction to the Theory of Computation. PWS Publishing Company. 1997.
- Notas del curso impartido en la Universidad de Stanford por el profesor Rajeev Motwani. Las pueden encontrar aquí.
- R.N. Moll, M.A. Arbib, A.J. Kfoury, An Introduction to Formal Language Theory. Spring-Verlag. 1988.
- Notas de clase elaboradas por Favio Miranda, Lourdes Del Carmen González y Liliana Reyes. El vínculo es éste.
