An introduction to formal languages and automata / Peter Linz.
Tipo de material:
TextoDetalles de publicación: Sudbury, Mass. : Jones and Bartlett, 2001Edición: 3rd edDescripción: xi, 410 : il ; 24 cmTema(s): Clasificación LoC:- QA267.3 .L5 2001
Contenidos:
Capítulo 1.- Introduction to the theory of computation .-- Capítulo 2.- Finite automata.-- Capítulo 3.- Regular languages and regular grammars.-- Capítulo 4.- Properties of regular languages.-- Capítulo 5.- Context-free languages.-- Capítulo 6.- Simplification of context-free grammars.-- Capítulo 7.- Pushdown automata.-- Capítulo 8.- Properties of context-free languages.-- Capítulo 9.- Turing machines.-- Capítulo 10.- Other models of turing machines.-- Capítulo 11.- A hierarchy of formal languages and automata.-- Capítulo 12.- Limits of algorithmic computation.-- Capítulo 13.- Other models of computation.-- Capítulo 14.- An introduction to computational complexity.
| Tipo de ítem | Biblioteca actual | Colección | Signatura topográfica | Estado | Notas | Fecha de vencimiento | Código de barras | |
|---|---|---|---|---|---|---|---|---|
03-Préstamo a 3 días (Libros)
|
Biblioteca Magna a | Acervo General | QA267.3 .L5 2001 | Disponible | 080117 | |||
01-Préstamo Interno (Libros)
|
Biblioteca Magna a | Acervo General | QA267.3 .L5 2001 | Disponible | Préstamo interno (etiqueta naranja) | 080116 |
Incluye referencias bibliográficas e índice.
Capítulo 1.- Introduction to the theory of computation .-- Capítulo 2.- Finite automata.-- Capítulo 3.- Regular languages and regular grammars.-- Capítulo 4.- Properties of regular languages.-- Capítulo 5.- Context-free languages.-- Capítulo 6.- Simplification of context-free grammars.-- Capítulo 7.- Pushdown automata.-- Capítulo 8.- Properties of context-free languages.-- Capítulo 9.- Turing machines.-- Capítulo 10.- Other models of turing machines.-- Capítulo 11.- A hierarchy of formal languages and automata.-- Capítulo 12.- Limits of algorithmic computation.-- Capítulo 13.- Other models of computation.-- Capítulo 14.- An introduction to computational complexity.