Teoría de autómatas lenguajes y formales / Dean Kelley, tradución de María Luisa Díez Platas
Por: Kelley, Dean.
Colaborador(es): Díez Platas, María Luisa [traductora].
Editor: España : Prentice- Hall, 1998Edición: 1a. ed.Descripción: 302 p. : il. ; 24 cm.ISBN: 0-13-518705-2.Materia(s): INGENIERÍA | AUTÓMATAS | LENGUAJES FORMALESClasificación CDD: 629.8 / K287 /1995Item type | Current library | Collection | Call number | Copy number | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
Libro - Material General | Biblioteca Central Rogelio Sinan Fondo general | Colección General | 629.8 / K287 /1995 (Browse shelf(Opens below)) | e.1 | Available | 2023-0008 | |
Libro - Material General | Biblioteca Central Rogelio Sinan Fondo general | Colección General | 629.8 / K287 /1995 (Browse shelf(Opens below)) | e.2 | Available | 2023-0009 |
Browsing Biblioteca Central Rogelio Sinan shelves, Shelving location: Fondo general, Collection: Colección General Close shelf browser (Hides shelf browser)
629.13 / M119 / 2009 Calidad aplicada a los sistemas de evaluación en la guardia civil / | 629.13 / M79 / 2011 Medios aéreos de la Guardia Civil : análisis y propuestas de mejora. Parte I. Realidad de la legislación cinegética en la Submeseta Sur y el Valle del Guadalquivir : Andalucía, Castilla La Mancha, Extremadura y Madrid : la Guardia Civil como garante de dicha normativa. Parte II / | 629.8/ B639 /2001 Ingeniería de control / | 629.8 / K287 /1995 Teoría de autómatas lenguajes y formales / | 629.8 / K287 /1995 Teoría de autómatas lenguajes y formales / | 629.8 / P595 / 2004 Ingeniería de la automatización industrial / | 629.8 / P595 / 2004 Ingeniería de la automatización industrial / |
1. Preliminares Matemáticos. --
.
2. Alfabetos y Lenguajes. --
.
3. Lenguajes Regulares. --
.
4. Lenguajes Independientes del Contexto. --
.
5. Máquinas de Turing. --
.
6. Máquinas de Turing y Lenguajes. --
.
7. Resolubilidad. --
.
8. Introducción a la Complejidad Computacional. --
Esta es una obra imprescindible para todo estudiante de informática. Abarca los temas de lenguajes formales y autómatas, máquinas de Turín y computabilidad a través de la decidibilidad. Su estudio necesita un nivel mínimo de conocimientos matemáticos, aunque se evitan, en lo posible, las demostraciones matemáticas demasiado desarrolladas, sin que por ello los teoremas y definiciones dejen de ser preciso. Todos los razonamientos de este libro tienen la intención de motivar al alumno, más que de ser matemáticamente completos o elegantes. En todo momento, el autor ilustra con ejercicios y problemas, de dificultad diversa, los conceptos que expone a lo largo de la obra.
Sede Central Ingeniería Licenciatura en Ingeniería de Sistemas Informáticos Sin Enfasis
There are no comments on this title.