Juan Giró
Lenguajes Formales y Teoría de Autómatas - Primera Edición - Buenos Aires Alfaomega 2015 - 462 p.
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 Bibliografía
Este libro, denominado Lenguajes formales y teoría de autómatas, comienza con 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 la de Turing, que es la más compleja. El libro está destinado a un curso de Teoría de la Computación de Ingeniería de Sistemas y con este fin se optó por un enfoque novedoso que unificó el tratamiento de los lenguajes y gramáticas formales en un capítulo inicial, haciendo entonces posible la posterior presentación de las máquinas abstractas de manera progressiva y continua, por disponerse ya de todos los conocimientos necesarios de la lingüística matemática. Al definir el contenido y enfoque del tratamiento de los temas presentados, se buscó un equilibrio que contemplara: i) los conocimientos necesarios para cubrir los contenidos mínimos previstos habitualmente en los planes de estudio de las carreras de Ingeniería de Sistemas, ii) las previsiones normalmente establecidas en este campo al definir los estándares para la acreditación de las carreras afines, iii) el respaldo conceptual necesario para los temas abordados y iv) el tiempo disponible, que corresponde al de una materia cuatrimestral con una carga horaria de entre 60 y 90 hs reloj. Naturalmente, como siempre ocurre en estos casos, fue necesario llegar a una solución de compromiso en la que se beneficiaron algunos temas en perjuicio de otros. Aun así, es probable que en algunos temas el material presentado sea excesivo para un primer curso de Teoría de la Computación y queda a criterio del docente la selección del mismo. Además, en los desarrollos y ejemplos, se procuró dejar siempre puertas abiertas que estimulen al lector a ahondar sobre los temas tratados.
9789587780819
Máquinas abstractas y gramáticas Automatismos y autonomía Lingüística matemática Gramáticas formales Jerarquía de Chomsky Análisis sintáctico Máquinas secuenciales Autómatas Finitos Deterministas (AFD) Autómatas finitos bidireccionales Transiciones Lambda Turing ALA y MT Máquina de Turing Semántica de lenguajes Metalenguajes para la especificación semántica de lenguajes Conceptos decompiladores e intérpretes El alfabeto griego
005.1 / G515l
Lenguajes Formales y Teoría de Autómatas - Primera Edición - Buenos Aires Alfaomega 2015 - 462 p.
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 Bibliografía
Este libro, denominado Lenguajes formales y teoría de autómatas, comienza con 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 la de Turing, que es la más compleja. El libro está destinado a un curso de Teoría de la Computación de Ingeniería de Sistemas y con este fin se optó por un enfoque novedoso que unificó el tratamiento de los lenguajes y gramáticas formales en un capítulo inicial, haciendo entonces posible la posterior presentación de las máquinas abstractas de manera progressiva y continua, por disponerse ya de todos los conocimientos necesarios de la lingüística matemática. Al definir el contenido y enfoque del tratamiento de los temas presentados, se buscó un equilibrio que contemplara: i) los conocimientos necesarios para cubrir los contenidos mínimos previstos habitualmente en los planes de estudio de las carreras de Ingeniería de Sistemas, ii) las previsiones normalmente establecidas en este campo al definir los estándares para la acreditación de las carreras afines, iii) el respaldo conceptual necesario para los temas abordados y iv) el tiempo disponible, que corresponde al de una materia cuatrimestral con una carga horaria de entre 60 y 90 hs reloj. Naturalmente, como siempre ocurre en estos casos, fue necesario llegar a una solución de compromiso en la que se beneficiaron algunos temas en perjuicio de otros. Aun así, es probable que en algunos temas el material presentado sea excesivo para un primer curso de Teoría de la Computación y queda a criterio del docente la selección del mismo. Además, en los desarrollos y ejemplos, se procuró dejar siempre puertas abiertas que estimulen al lector a ahondar sobre los temas tratados.
9789587780819
Máquinas abstractas y gramáticas Automatismos y autonomía Lingüística matemática Gramáticas formales Jerarquía de Chomsky Análisis sintáctico Máquinas secuenciales Autómatas Finitos Deterministas (AFD) Autómatas finitos bidireccionales Transiciones Lambda Turing ALA y MT Máquina de Turing Semántica de lenguajes Metalenguajes para la especificación semántica de lenguajes Conceptos decompiladores e intérpretes El alfabeto griego
005.1 / G515l