- Spanish
- PDF
- Disponible en iOS y Android
Lenguajes formales y teoría de autómatas
Información del libro
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.
Preguntas frecuentes
Información
Índice
- Portada
- Mensaje del editor
- Acerca de los autores
- Prólogo
- Contenido, orientación y organización del libro
- Agradecimientos
- Contenido
- Capìtulo 1 - Introducción a la Teoría de la Computación
- Capìtulo 2 - Gramáticas yl enguajes formales
- Capìtulo 3 - Máquinas secuenciales y autómatas finitos deterministas
- Capìtulo 4 - Autómatas finitos no deterministas
- Capìtulo 5 - Autómatas conpila
- Capìtulo 6 - Autómata linealmente acotado y máquina de Turing
- Capìtulo 7 - Simuladores de máquinas abstractas
- Capìtulo 8 - Introducción a lasemántica delenguajes
- Apéndice A - Conceptos de compiladores e intérpretes
- Apèndice B - El alfabetogriego
- Apéndice C - Símbolos ysiglas
- Bibliografía