Bibliografía

La principales referencias que se consultarán a lo largo del curso son:

  • 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 del 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