Alfonseca Cubero, Enrique

Teoría de autómatas y lenguajes formales / Enrique Alfonseca Cubero, Manuel Alfonseca Moreno, Roberto Moriyón Salomon - Madrid : McGraw-Hill, 2007 - XXII, 400 p. : gráf. ; 24 cm

Índice

Bibliografía: p. [389]-391

La informática teórica de autómatas y lenguajes formales se sustenta en una base matemática derivada de álgebra. Este libro es accesible a cualquier lector con una formación matemática universitaria elemental e incluye material matemático adicional necesario para que sea autocontenido. La informática teórica trabaja con los tres paradigmas de máquinas, lenguajes y gramáticas, los clasifica según su complejidad y los relaciona estudiando las equivalencias existentes entre ellos. Este libro realiza de forma explicita un recorrido independiente por cada uno de los paradigmas, que facilita la comprensión de sus peculiaridades, para estudiar posteriormente sus relaciones. Índice: Introducción. Máquinas y lenguajes y problemas. Máquinas de turing. Autómatas finitos. Autómatas a pila. Gramáticas. Gramáticas y máquinas: tipos 0 y 1. Lenguajes regulares. Lenguajes independientes del contexto. Computabilidad y complejidad. Otras máquinas y gramáticas. Sistemas avanzados del cómputo. Conceptos matemáticos utilizados. Bibliografía. Indice alfabético.

84-481-5637-4


Lenguajes formales
Autómatas matemáticos, Teoría de
Autómatas

Powered by Koha