Introducción a la teoría de autómatas, lenguajes y computación /
Este libro ha sido actualizado para presentar los conceptos teóricos de una manera más concisa y clara aumentando a su vez las aplicaciones prácticas. Esta tercera edición ofrece al estudiante un estilo de redacción más sencillo que cubre toda la teorìa de autómatas existente. Con un tratamiento sól...
Guardado en:
| Autor principal: | |
|---|---|
| Otros Autores: | , , |
| Formato: | Libro |
| Lenguaje: | Español |
| Publicado: |
Madrid :
Pearson Educación,
2008
|
| Edición: | 3a. ed. |
| Materias: | |
| Aporte de: | Registro referencial: Solicitar el recurso aquí |
| LEADER | 04827nam a2200409a 44500 | ||
|---|---|---|---|
| 001 | UBP13739 | ||
| 003 | AR-CdUBP | ||
| 005 | 20220310160951.0 | ||
| 008 | 101207s2008 spa gr 000 spa|d | ||
| 999 | |c 28745 |d 28745 | ||
| 020 | |a 9788478290888 | ||
| 040 | |a AR-CdUBP |b spa |c AR-CdUBP |d AR-CdUBP | ||
| 041 | |a spa | ||
| 080 | |a 004.43:519.7 | ||
| 100 | 1 | |a Hopcroft, John E. |9 12482 | |
| 245 | 1 | 0 | |a Introducción a la teoría de autómatas, lenguajes y computación / |c John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman ; traducción Vuelapluma |
| 250 | |a 3a. ed. | ||
| 260 | |a Madrid : |b Pearson Educación, |c 2008 | ||
| 300 | |a xvi, 440 p. ; |c 25 cm. | ||
| 500 | |a La Biblioteca posee: 4 ej. | ||
| 500 | |a Título original: Introduction to automata theory, languages and computation. | ||
| 504 | |a Incluye bibliografía e índice. | ||
| 505 | 0 | |a 1. Introducción a los autómatas. 1.1. ¿Por qué estudiar la teoría de autómatas?. 1.2. Introducción a las demostraciones formales. 1.3. Otras formas de demostración. 1.4. Demostracione inductivas. 1.5. Conceptos fundamentales de la teoría de autómatas. 1.6. Resumen del Capítulo 1. 1.7. Referencias del Capítulo 1. 2. Autómatas. 2.1. Descripción informal de autómata finito. 2.2. Autómata finito determinista. 2.3. Autómatas finitos no deterministas. 2.4. Aplicación: búsqueda de texto. 2.5. Autómatas finitos con transiciones. 2.6. Resumen del Capítulo 2. 2.7. Referencias del Capítulo 2. 3. Lenguaje y expresiones regulares. 3.1. Expresiones regulares. 3.2. Autómatas finitos y expresiones regulares. 3.3. Aplicaciones de las expresiones regulares. 3.4. Algebra de las expresiones regulares. 3.5. Resumen del Capítulo 3. 3.6. Referencias del Capítulo 3.. 4. Propiedades de los lenguajes regulares. 4.1. Cómo demostrar que un lenguaje no es regular. 4.2. Propiedades de clausura de los lenguajes regulares. 4.3. Propiedades de clausura de los lenguajes regulares. 4.4. Equivalencia y minimización de autómatas. 4.5. Resumen del Capítulo 4. Referencias del Capítulo 4. 5. Lenguajes y gramáticas independientes del contexto. 5.1. Gramáticas independientes del contexto. 5.2. Arboles de derivación. 5.3. Aplicaciones de las gramaticas independientes del contexto. 5.4. Amiguedad en granáticas y lenguajes. 6. Autómatas a pila. 6.1. Definición de autómatas a pila. 6.2. Lenguajes de un autómata a pila. 6.3. Equivalencia entre autómatas a pila y gramáticas independientes del contexto. 6.4. Autómata a pila determinista. 7. Propiedades de los leguajes independientes del contexto. 7.1. Formas normales para las gramáticas independientes del context. 7.2. El lema de bombeo para leguajes independientes del contexto. 7.3. Propiedades de clausura de los lenguajes independientes del contexto. 7.4. Propiedades de la decisión de los LIC. 8. Introducción a las máquinas de Turing. 8.1. Problemas que las computadoras no pueden resolver. 8.2. La máquina de Turing. 8.3. Técnicas de programación para las máquinas de Turing. 8.4. Extensiones de la máquina de Turing básica. 8.5. Máquinas de Turing restringidas. 8.6. Máquinas de Turing y computadoras. 9. Indecibilidad. 9.1. Lenguaje no recursivamente enumerable. 9.2. Un problema indecible recursivamente enumerable. 9.3. Problemas indecibles para las máquinas de Turing. 9.4. Problemas de correspondencia de Post. 9.5. Otros problemas indecibles. 10. Problemas intratables. 10.1 Las clases P y NP. 10.2. Un problema NP-completo. 10.3. Poroblema de la satisfactibilidad restringido. 10.4. Otros problemas NP-completos. 11. Otras clases de problemas. 11.1. Complementarios de los leguajes de NP. 11.2. Problemas resolubles en espacio polinómico. 11.3. Un problema que es completo para PS. 11.4. Clases de lenguajes basados en la aleatorización. 11.5. La complejidad de la prueba primordial. | |
| 520 | |a Este libro ha sido actualizado para presentar los conceptos teóricos de una manera más concisa y clara aumentando a su vez las aplicaciones prácticas. Esta tercera edición ofrece al estudiante un estilo de redacción más sencillo que cubre toda la teorìa de autómatas existente. Con un tratamiento sólido en la construcción de pruebas, gran número de figuras y diagramas, y apartados que destacan las ideas más importantes, este libro es la herramienta fundamental para consolidar el conocimiento sobre la teoría de autómatas. | ||
| 650 | 4 | |a Informática |9 341 | |
| 650 | 4 | |a ROBÓTICA |9 3334 | |
| 650 | 4 | |a LENGUAJES DE PROGRAMACIÓN |9 8412 | |
| 650 | 4 | |a MÁQUINAS DE TURING |9 12412 | |
| 700 | 1 | |a Motwani, Rajeev |9 12483 | |
| 700 | 1 | |a Ullman, Jeffrey D. |9 12484 | |
| 700 | 1 | |a Vuelapluma |9 12485 |e tr. | |
| 930 | |a INFORMATICA | ||
| 931 | |a 13739 |b UBP | ||
| 937 | |a RA 2020 ; A 2010 | ||
| 942 | |c BK |2 udc | ||
| 945 | |a NNM |a ACG | ||
| 984 | |a 004.43:519.7 |b H77i3 | ||