LENGUAJES FORMALES Y TEORÍA DE AUTÓMATAS

Se trata de un libro para un curso de nivel de grado de Ingeniería en Sistemas, que fue escrito por ingenieros y está destinado a estudiantes de ingeniería, que sin dejar de reconocer la importancia de los fundamentos, pone énfasis en mostrar la aplicación de los diferentes conceptos en la resolución de problemas concretos. La finalidad es contribuir a desarrollar el criterio lógico en los estudiantes, a la vez que ofrecer modelos compactos y eficaces de enorme utilidad en la resolución de los problemas clásicos del desarrollo de software.