Materiales bibliográficos, software usado, etc.

Materiales bibliográficos:

•      Introducción a la teoría de autómatas, lenguajes y computación, 3ra Edición – John E. Hopcroft
•      Hopcroft, J. y Ullman, J. Introduction to automata theory, languages, and computation. Addison-Wesley. 1979.
•      Kain, R. Automata Theory. Mc. Graw-Hill. 1972.
•      Sudkamp, T. Languages and Machines. Reading, Massachusetts. 1997.
•      John Martin, Introduction to Languages and the Theory of Computation (Third edition) McGraw Hill, 2003
•      Juan M. Cueva, Lenguajes, Gramáticas y Autómatas. Segunda Edición, Oviedo, 2001. (Libro electrónico)
•      Serafín Moral, Teoría de Autómatas y Lenguajes Formales. Granada, 2001. (Libro electrónico)

Software utilizados:

JFLAP: es un software para experimentar con temas de lenguajes formales incluyendo autómatas finitos no determinísticos, autómatas pushdown no determinísticos, máquinas Turing de múltiples cintas, varios tipos de gramáticas, análisis sintáctico y sistemas L. Además de construir y probar ejemplos para estos, JFLAP permite experimentar con pruebas de construcción de una forma a otra, como convertir un NFA a un DFA a un estado mínimo DFA a una expresión regular o gramática regular.