Normal view MARC view ISBD view

Teoría de autómatas y lenguajes formales / Enrique Alfonseca Cubero, Manuel Alfonseca Moreno, Roberto Moriyón Salomon

Alfonseca Cubero, Enrique.
Contributor(s): Alfonseca Moreno, Manuel | Moriyón Salomon, Roberto.
Material type: materialTypeLabelBook; Format: print Publisher: Madrid : McGraw-Hill, 2007Description: XXII, 400 p. : gráf. ; 24 cm.ISBN: 84-481-5637-4.Subject(s): Lenguajes formales | Autómatas matemáticos, Teoría de | Autómatas
Tags from this library: No tags from this library for this title. Log in to add tags.
    average rating: 0.0 (0 votes)
Item type Home library Call number Status Loan Date due Barcode Item holds
Manuales (7 días) 03. BIBLIOTECA INGENIERÍA PUERTO REAL
681.3/ALF/teo (Browse shelf) Available   Shelving location | Bibliomaps® MANUAL 3741701860
Manuales (7 días) 03. BIBLIOTECA INGENIERÍA PUERTO REAL
681.3/ALF/teo (Browse shelf) Available   Shelving location | Bibliomaps® MANUAL 3741701806
Préstamo horas 03. BIBLIOTECA INGENIERÍA PUERTO REAL
681.3/ALF/teo (Browse shelf) Available   Shelving location | Bibliomaps® PRESTAMO HORAS 3741701744
Total holds: 0

Í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.

There are no comments for this item.

Log in to your account to post a comment.

Powered by Koha