Título : |
Teoría de autómatas y lenguajes formales |
Tipo de documento: |
texto impreso |
Autores: |
Alfonseca Cubero, Enrique ; Alfonseca Moreno, Manuel, Autor ; Moriyon Salmon, Roberto, Autor |
Editorial: |
Madrid : McGraw-Hill |
Fecha de publicación: |
2007 |
Número de páginas: |
400p} |
Il.: |
il. |
Dimensiones: |
Rústica |
ISBN/ISSN/DL: |
978-84-481-5637-4 |
Nota general: |
Incluye bibliografía e índice |
Idioma : |
Español (spa) |
Palabras clave: |
AUTOMATAS, AUTÓMATAS A PILA, AUTÓMATAS FINITOS, MÁQUINAS TURING |
Clasificación: |
629.892 - Otras ramas de la ingeniería - Ingeniería del control automático - Control por computador - Robots(Autómatas) |
Resumen: |
La informática teórica o teoría de autómatas y lenguajes formales se sustenta en una base matemática derivada del Álgebra. Este libro es accesible a cualquier lector con una formación matemática universitaria elemental, e incluye el material matemático adicional necesario para que sea auto contenido. La informática teórica trabaja con los tres paradigmas de lenguajes, máquinas y gramáticas; los clasifica según su complejidad y los relaciona estudiando las equivalencias existentes entre ellos. Este libro realiza de forma explícita un recorrido independiente por cada uno de los paradigmas, que facilita la comprensión de sus peculiaridades, para estudiar posteriormente sus relaciones. El orden de presentación de los capítulos intenta seguir el orden cronológico de su aparición. Además de estos paradigmas clásicos, la investigación en Informática Teórica ha propuesto y estudiado otros que se pueden considerar extensiones de los mismos. Este libro introduce algunos de los más citados actualmente, lo que facilitará al lector investigaciones posteriores. El libro se completa con material práctico disponible en páginas web, que incluye problemas resueltos y versiones ejecutables de algoritmos descritos en el mismo, que facilitan la incorporación del alumno a esta disciplina. |
Nota de contenido: |
1. Máquinas, lenguas y problemas. // 2. Máquinas de turing. // 3. Autómatas finitos. // 4. Autómatas a pila. // 5. Gramáticas. // 6. Gramáticas y máquinas: tipos 0 y 1. // 7. Lenguajes regulares. // 8. Lenguas independientes del contexto. // 9. Compatibilidad y complejidad. // 10. Otras máquinas y gramáticas. // 11. Sistemas avanzados de cómputo. |
Teoría de autómatas y lenguajes formales [texto impreso] / Alfonseca Cubero, Enrique ; Alfonseca Moreno, Manuel, Autor ; Moriyon Salmon, Roberto, Autor . - Madrid : McGraw-Hill, 2007 . - 400p} : il. ; Rústica. ISBN : 978-84-481-5637-4 Incluye bibliografía e índice Idioma : Español ( spa)
Palabras clave: |
AUTOMATAS, AUTÓMATAS A PILA, AUTÓMATAS FINITOS, MÁQUINAS TURING |
Clasificación: |
629.892 - Otras ramas de la ingeniería - Ingeniería del control automático - Control por computador - Robots(Autómatas) |
Resumen: |
La informática teórica o teoría de autómatas y lenguajes formales se sustenta en una base matemática derivada del Álgebra. Este libro es accesible a cualquier lector con una formación matemática universitaria elemental, e incluye el material matemático adicional necesario para que sea auto contenido. La informática teórica trabaja con los tres paradigmas de lenguajes, máquinas y gramáticas; los clasifica según su complejidad y los relaciona estudiando las equivalencias existentes entre ellos. Este libro realiza de forma explícita un recorrido independiente por cada uno de los paradigmas, que facilita la comprensión de sus peculiaridades, para estudiar posteriormente sus relaciones. El orden de presentación de los capítulos intenta seguir el orden cronológico de su aparición. Además de estos paradigmas clásicos, la investigación en Informática Teórica ha propuesto y estudiado otros que se pueden considerar extensiones de los mismos. Este libro introduce algunos de los más citados actualmente, lo que facilitará al lector investigaciones posteriores. El libro se completa con material práctico disponible en páginas web, que incluye problemas resueltos y versiones ejecutables de algoritmos descritos en el mismo, que facilitan la incorporación del alumno a esta disciplina. |
Nota de contenido: |
1. Máquinas, lenguas y problemas. // 2. Máquinas de turing. // 3. Autómatas finitos. // 4. Autómatas a pila. // 5. Gramáticas. // 6. Gramáticas y máquinas: tipos 0 y 1. // 7. Lenguajes regulares. // 8. Lenguas independientes del contexto. // 9. Compatibilidad y complejidad. // 10. Otras máquinas y gramáticas. // 11. Sistemas avanzados de cómputo. |
|