|
|
|
|
| LEADER |
03528cam a2000313a 44500 |
| 001 |
599124 |
| 020 |
|
|
|a 9789871609819
|
| 040 |
|
|
|a Sistema de Bibliotecas USAC
|
| 041 |
|
|
|a spa
|
| 082 |
|
|
|a 005.3
|b L566
|
| 099 |
|
|
|a 005.3 L566
|
| 245 |
|
|
|a Lenguajes formales y teoría de autómatas.
|
| 260 |
|
|
|a Argentina :
|b Alfaomega Grupo Editor Argentino S.A.,
|c 2015.
|
| 300 |
|
|
|a 462 p. :
|b il. ;
|c 23 cm.
|
| 336 |
|
|
|a texto
|
| 504 |
|
|
|a Bibliografía: p. 461-462
|
| 505 |
|
|
|a Mensaje del editor. Acerca de los autores. Prólogo. Contenido, orientación y organización del libro. Agradecimientos. 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. Apéndice A: Conceptos de compiladores e intérpretes. Apéndice B. El alfabeto griego. Apéndice C. Símbolos y siglas. Bibliografía.
|
| 520 |
|
|
|a "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. Aprenda: • Lingüística Matemática, mediante una presentación de las Gramáticas y Lenguajes Formales según la tipificación de Noam Chomsky. • La Teoría de Autómatas, desde las máquinas secuenciales básicas hasta aquella más compleja propuesta por Alan Turing, a través del desarrollo de una familia de autómatas de capacidad creciente. • El isomorfismo que vincula gramáticas y autómatas, poniendo la atención en la validación de lenguajes de programación utilizando analizadores sintácticos. 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. Desarrolle sus capacidades para: • Aplicar los conceptos de la Teoría de la Computación en el desarrollo de algoritmos eficientes. • Implementar y operar autómatas a través de simuladores, posibilitando la determinación de sus indicadores de complejidad para comparar diferentes problemas y sus soluciones. En la Web de la editorial encontrará simuladores de autómatas conjuntamente con las indicaciones para descargarlos y operarlos." (Copiado de la pasta).
|
| 650 |
|
|
|a INFORMÁTICA
|
| 650 |
|
|
|a TEORÍA DE LA COMPUTACIÓN
|
| 650 |
|
|
|a LENGUAJES FORMALES
|
| 650 |
|
|
|a TEORÍA DE AUTÓMATAS
|
| 650 |
|
|
|a LINGÜÍSTICA MATEMÁTICA
|
| 650 |
|
|
|a INGENIERÍA EN SISTEMAS
|
| 650 |
|
|
|a INGENIERÍA DE SOFTWARE
|
| 700 |
|
|
|a Giró, Juan
|
| 700 |
|
|
|a Vázquez, Juan
|e Coaut.
|
| 700 |
|
|
|a Meloni, Brenda
|e Coaut.
|
| 700 |
|
|
|a Constable, Leticia
|e Coaut.
|