LENGUAJES FORMALES Y TEORIA DE AUTOMATAS

Descripción

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.

Ventajas

En la Web de la editorial encontrará simuladores de autómatas conjuntamente con las indicaciones para descargarlos y operarlos.

Pone énfasis en mostrar la aplicación de los diferentes conceptos en la resolución de problemas concretos
Unifica el tratamiento de los lenguajes y gramáticas formales en un capítulo inicial para facilitar la comprensión de las máquinas abstractas (enfoque novedoso).
Contribuye a desarrollar el criterio lógico en los estudiantes, a la vez que ofrece modelos compactos y eficaces
Conozca

Cómo diseñar autómatas capaces de reconocer diferentes lenguajes, a partir del examen de sus sentencias o el de sus gramáticas.
Cómo desarrollar autómatas equivalentes buscando soluciones alternativas óptimas.

Contenido
CAPÍTULO 1
INTRODUCCIÓN A LA TEORÍA DE LA COMPUTACIÓN .
CAPÍTULO 2. GRAMÁTICAS Y LENGUAJES 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 CON PILA
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 LA SEMÁNTICA DE LENGUAJES

Información Bibliográfica

ISBN:9789587780819
AUTOR:GIRO
EDITORIAL: ALFAOMEGA
AÑO:2016
EDICION: 1