T. García Saiz y E. Gaudioso Vázquez Autómatas, Gramáticas y Lenguajes formales: problemas resueltos. Sanz y Torres, 2010

Por lo general, los textos que cubren esta materia, lo hacen desde un enfoque teórico proponiendo ejercicios para cada tema que debe resolver el lector. Sin embargo, es difícil encontrar ejercicios completos que recorran, para un mismo problema todas las posibilidades de representación y la equivalencia entre las mismas. El objetivo de este libro es el de plantear y resolver este tipo de ejercicios.

J.E. Hopcroft, J. D. Ullman y R. Motwani. Teoría de autómatas, lenguajes y computación. Pearson Addison-Wesley.

Libro de referencia en el área de autómatas, lenguajes y computación. Es útil a la hora de profundizar conocimientos, sobre todo desde el punto de vista de las demostraciones formales de los enunciados que se ven en la asignatura.

J. Glenn Brookshear. Theory of Computation: Formal Languages, automata and complexity. Addison-Wesley, 1993.

Algunos de los contenidos teóricos del texto se pueden complementar con los incluidos en este texto que presenta, además, ejemplos prácticos adicionales. Las referencias a este texto se recomendarán en el plan de trabajo del que dispondrán los alumnos matriculados. Se recomienda el texto en inglés porque la edición en castellano se encuentra descatalogada.

P. Isasi, P. Martínez y D. Borrajo. Lenguajes, gramáticas y autómatas: un enfoque práctico. Addison Wesley. ISBN: 0-201-65323-0

Este texto es de utilidad para complementar el estudio de la asignatura con problemas resueltos.