Lenguajes formales y teoría de autómatas / Juan Giró

Capitulo 1. Introducción a la teoría de la computación.-- Capitulo 2. Gramáticas y lenguajes formales.-- Capitulo 3. Maquinas secuenciales y autómatas finitos deterministas.-- Capitulo 4. Autómatas finitos no deterministas.-- Capitulo 5. Autómatas con pila Capitulo 6. Autómata linealmente acotado y maquina de Turing.-- Capitulo 7. Simuladores de maquinas abstractas.-- Capitulo 8. Introducción a la semántica de lenguajes.

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.

Hace una presentación unificada de los lenguajes y gramáticas según la jerarquía de Chomsky, para luego poner el foco en las máquinas abstractas, avanzando progresivamente desde las más simples hasta las más complejas. La unificación del tratamiento de los lenguajes y gramáticas formales en un capítulo inicial ofrece un enfoque novedoso, que busca posibilitar la posterior presentación de las máquinas abstractas de manera ininterrumpida y disponiendo de todos los conocimientos necesarios de la lingüística matemática. Además, para asegurar el necesario vínculo entre los temas tratados y la programación de computadoras, se incluye una presentación introductoria a los simuladores de máquinas abstractas, que busca estimular su implementación y uso.

Esta destinado a docentes y estudiantes de carreras de ingeniería, ciencias tecnológicas.