Teoría de autómatas, lenguajes y computación / (Registro nro. 200728)
[ vista simple ]
000 -CABECERA | |
---|---|
campo de control de longitud fija | 03254nam a2200289Ia 4500 |
001 - NÚMERO DE CONTROL | |
campo de control | 1465 |
008 - LONGITUD FIJA | |
campo de control de longitud fija | 131206s2010 sp 00 0 spa d |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
ISBN | 9788478290888 |
040 ## - FUENTE DE CATALOGACIÓN | |
Centro catalogador/agencia de origen | PUCESD |
Lengua de catalogación | Español |
Normas de descripción | rda |
100 1# - AUTOR PERSONAL | |
nombre | Hopcroft, John E. |
245 10 - TÍTULO PROPIAMENTE DICHO | |
título | Teoría de autómatas, lenguajes y computación / |
Mención de responsabilidad, etc. | John E. Hopcroft; Rajeev Motwani; Jeffrey D. Ullman |
250 ## - EDICIÓN | |
edición | 3° Ed. |
264 #1 - PIE DE IMPRENTA | |
lugar (ciudad) | España : |
editorial | Pearson , |
fecha | 2010 |
300 ## - DESCRIPCIÓN FÍSICA | |
Extensión | 440 páginas ; |
Dimensiones | 25 cm. |
336 ## - TIPO DE CONTENIDO | |
Término de tipo de contenido | texto |
337 ## - MEDIACIÓN | |
Nombre/término del tipo de medio | no mediado |
338 ## - PORTADOR | |
Nombre/término del tipo de soporte | volumen |
500 ## - NOTA GENERAL | |
Nota general | Factura Educativa |
505 0# - NOTA DE CONTENIDO | |
Nota de contenido | 1.-Introduccion a las automatas: - ¿Por que estudiar la toeria de automatas? -Introduccion a las demostraciones formales - Otras formas de demostracion - Demostraciones inductivas - Conceptos fundamentales de la teoria de automatas 2.-Automatas finitos: - Descripcion informal de automata finito - Automata finito determinista - Automatas finitos no deterministas - Aplicacion: busqueda de texto - Automatas finitos con transiciones -e 3.-Lenguajes y expresiones regulares: - Expresiones regulares - Automatas finitos y expresiones regulares - Aplicaciones de las expresiones regulares -Algebra de las expresiones regulares 4.-Propiedades de los lenguajes regulares: - Como demostrar que un lenguaje no es regular - Propiedades de clausura de los lenguajes regulares - Propiedades de decision de los lenguajes regulares -Equivalencia y minimizacion de automatas 5.-Lenguajes y gramaticas independientes del contexto: - Gramaticas independientes del contexto - Arboles de derivacion - Aplicaciones de las gramaticas independientes del contexto - Ambiguedad en gramatica y lenguajes -.-Automatas a pila: - Definicion de automata a pila - Lenguajes de un automata a pila - Equivalencia entre automatas a pila y gramaticas independientes del contexto - Automata a pila determinista 7.-Propiedades de los lenguajes independientes del contexto: - Formas normales para las gramaticas -El lema de bombeo para lenguaje -Propiedades de clausura de los lenguajes independientes del contexto - Propiedades de decision de las LIC 8.-Introduccion a las maquinas de Turing: - Problemas que las computadoras no pueden resolver -La maquina de Turing - Tecnicas de programacion para las maquinas de Turing - Extensiones de la maquina de Turing basica - Maquinas de turing restringidas - Maquinas de turing computadoras 9.-Indecidibilidad - Lenguaje no recursivamente enumerable - Un problema indecidible recursivamente enumerable - Problemas indecidibles para las maquinas de Turing - Problema de correspondencia de Post - Otros probleas indecidibles 10.-Problemas intratables: - Las clases P y NP - Un problema NP - completo - Problema de la satisfacibilidad restringido - Otros problemas Np-completos 11.-Otras clases de problemas: - Complementarios de los lenguajes de NP - Problemas resolubles en espacio polinomico - Un problema que es completo para PS - Clases de lenguajes basadas en la aleatorizacion -La complejidad de la prueba de primalidad |
526 ## - Nota de Programa de Estudio | |
Nombre del programa | Sistemas de la Información |
590 ## - NOTA LOCAL (RLIN) | |
Nota local | MM |
082 04 - CLASIFICACIÓN DECIMAL DEWEY | |
Clasificación | 005.1 |
Clave de autor | H77 2010 |
090 ## - CLASIFICACIÓN LOCAL | |
clasificación | Planta Baja |
650 04 - MATERIA GENERAL | |
Término de materia o nombre geográfico como elemento inicial | INFORMATICA |
650 04 - MATERIA GENERAL | |
Término de materia o nombre geográfico como elemento inicial | DISEÑO DE LENGUAJES Y AUTOMATAS |
942 00 - PUNTO DE ACCESO ADICIONAL KOHA | |
Préstamos Koha (prestado), todas las copias | 0 |
Tipo de ítem koha | Libro |
Ocultar en el OPAC | Perdido | Dañado | No circula | Colección | Sede propietaria | Localización actual | Ubicación | Adquirido | Préstamos | Signatura topográfica | Código de barras | Visto por última vez | Ejemplar | Tipo de ítem |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
No oculto | Col General | Sede Santo Domingo | Sede Santo Domingo | Sala general | 12/06/2013 | 005.1 H77 2010 | SDO002875 | 03/08/2022 | Ej.5 | Libro | ||||
No oculto | Col General | Sede Santo Domingo | Sede Santo Domingo | Sala general | 12/06/2013 | 005.1 H77 2010 | SDO002871 | 03/08/2022 | Ej.1 | Libro | ||||
No oculto | Col General | Sede Santo Domingo | Sede Santo Domingo | Sala general | 12/06/2013 | 005.1 H77 2010 | SDO002872 | 03/08/2022 | Ej.2 | Libro | ||||
No oculto | Col General | Sede Santo Domingo | Sede Santo Domingo | Sala general | 12/06/2013 | 005.1 H77 2010 | SDO002873 | 03/08/2022 | Ej.3 | Libro | ||||
No oculto | Col General | Sede Santo Domingo | Sede Santo Domingo | Sala general | 12/06/2013 | 005.1 H77 2010 | SDO002874 | 03/08/2022 | Ej.4 | Libro |