000 -CABECERA |
Campo de control de longitud fija |
03115cam a2200601 a 4500 |
001 - NÚMERO DE CONTROL |
Campo de control |
7947 |
003 - IDENTIFICADOR DE NÚMERO DE CONTROL |
Campo de control |
CO-EnEIA |
005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN |
Campo de control |
20180104052518.0 |
008 - CAMPO FIJO DE DESCRIPCIÓN FIJA--INFORMACIÓN GENERAL |
Campo de control de longitud fija |
141112t2004 mx d gr 001 u spa d |
020 ## - ISBN (INTERNATIONAL STANDARD BOOK NUMBER) |
ISBN |
9701045947 |
020 ## - ISBN (INTERNATIONAL STANDARD BOOK NUMBER) |
ISBN |
0072322004 |
040 ## - FUENTE DE CATALOGACIÓN |
Agencia de catalogación original |
CO-EnEIA |
Convenciones de la descripción |
rda |
041 ## - CÓDIGO DE IDIOMA |
Código de idioma para texto, pista de sonido o título separado |
Español |
Código del idioma de la versión original y/o traducciones intermedias del texto |
eng |
082 74 - NÚMERO DE LA CLASIFICACIÓN DECIMAL DEWEY |
Número de clasificación Decimal |
005 |
Número de documento (Cutter) |
M379 |
Número de edición DEWEY |
20 |
Agencia que asigna el número |
CO-EnEIA |
100 1# - ENCABEZAMIENTO PRINCIPAL--NOMBRE PERSONAL |
9 (RLIN) |
3859 |
Nombre de persona |
Martin, John C. |
245 10 - TÍTULO PROPIAMENTE DICHO |
Título |
Lenguajes formales y teoría de la computación. - 3 edición |
250 ## - MENCIÓN DE EDICIÓN |
Mención de edición |
Tercera edición |
264 30 - PRODUCCIÓN, PUBLICACIÓN, DISTRIBUCIÓN, FABRICACIÓN Y COPYRIGHT |
Producción, publicación, distribución, fabricación y copyright |
México : |
Nombre del de productor, editor, distribuidor, fabricante |
McGraw-Hill, |
Fecha de producción, publicación, distribución, fabricación o copyright |
2004 |
300 ## - DESCRIPCIÓN FÍSICA |
Extensión |
xvii, 545 páginas : |
Otros detalles físicos |
gráficos ; |
Dimensiones |
24 cm. |
500 ## - NOTA GENERAL |
Nota general |
Incluye referencias bibliográficas e índice de notación (páginas 527-545) |
505 2# - NOTA DE CONTENIDO FORMATEADA |
Título |
Parte 1.- Notación y técnicas matemáticas |
505 2# - NOTA DE CONTENIDO FORMATEADA |
Nota de contenido con formato preestablecido |
Capítulo 1.- Objetos matemáticos básicos |
505 2# - NOTA DE CONTENIDO FORMATEADA |
Nota de contenido con formato preestablecido |
Capítulo 2.- Inducción matemática y definiciones recursivas |
505 2# - NOTA DE CONTENIDO FORMATEADA |
Título |
Parte 2.- Lenguajes regulares y autómatas finitos |
505 2# - NOTA DE CONTENIDO FORMATEADA |
Nota de contenido con formato preestablecido |
Capítulo 3.- Extensiones regulares y autómatas finitos |
505 2# - NOTA DE CONTENIDO FORMATEADA |
Nota de contenido con formato preestablecido |
Capítulo 4.- No determinismo y el teorema de Kleene |
505 2# - NOTA DE CONTENIDO FORMATEADA |
Nota de contenido con formato preestablecido |
Capítulo 5.- Lenguajes regulares y no regulares |
505 2# - NOTA DE CONTENIDO FORMATEADA |
Título |
Parte 3.- Lenguajes de contexto libre y autómatas finitos con pila |
505 2# - NOTA DE CONTENIDO FORMATEADA |
Nota de contenido con formato preestablecido |
Capítulo 6.- Gramáticas de contexto libre |
505 2# - NOTA DE CONTENIDO FORMATEADA |
Nota de contenido con formato preestablecido |
Capítulo 7.- Autómatas con pila |
505 2# - NOTA DE CONTENIDO FORMATEADA |
Nota de contenido con formato preestablecido |
Capítulo 8.- Lenguajes de contexto libre y lenguajes que no son de contexto libre |
505 2# - NOTA DE CONTENIDO FORMATEADA |
Título |
Parte 4.- Máquinas de Turing y sus lenguajes |
505 2# - NOTA DE CONTENIDO FORMATEADA |
Nota de contenido con formato preestablecido |
Capítulo 9.- Máquinas de Turing |
505 2# - NOTA DE CONTENIDO FORMATEADA |
Nota de contenido con formato preestablecido |
Capítulo 10.- Lenguajes enumerables recursivamente |
505 2# - NOTA DE CONTENIDO FORMATEADA |
Título |
Parte 5.- Problemas insolubles y funciones computables |
505 2# - NOTA DE CONTENIDO FORMATEADA |
Nota de contenido con formato preestablecido |
Capítulo 11.- Problemas insolubles |
505 2# - NOTA DE CONTENIDO FORMATEADA |
Nota de contenido con formato preestablecido |
Capítulo 12.- Funciones computables |
505 2# - NOTA DE CONTENIDO FORMATEADA |
Título |
Parte 6.- Introducción a la complejidad computacional |
505 2# - NOTA DE CONTENIDO FORMATEADA |
Nota de contenido con formato preestablecido |
Capítulo 13.- Medición y clasificación de la complejidad |
505 2# - NOTA DE CONTENIDO FORMATEADA |
Nota de contenido con formato preestablecido |
Capítulo 14.- Problemas tratables e intratables |
520 3# - RESUMEN, ETC. |
Nota de sumario, etc. |
Lenguajes formales y teoría de la computación es un tratado de la teoría de la computación con énfasis en los lenguajes formales, autómatas y modelos abstractos de computación y de computabilidad; también incluye una introducción a la complejidad computacional y a los problemas NP completos [...] |
Ampliación de la nota de sumario |
(Resumen tomado del libro el 31/05/2017) |
650 17 - ASIENTO SECUNDARIO DE MATERIA--TÉRMINO DE MATERIA |
9 (RLIN) |
3860 |
Nombre de materia o nombre geográfico como elemento de entrada |
Lenguajes formales |
Fuente del encabezamiento o término |
LEMB |
650 27 - ASIENTO SECUNDARIO DE MATERIA--TÉRMINO DE MATERIA |
Fuente del encabezamiento o término |
LEMB |
9 (RLIN) |
3861 |
Nombre de materia o nombre geográfico como elemento de entrada |
Autómatas |
650 27 - ASIENTO SECUNDARIO DE MATERIA--TÉRMINO DE MATERIA |
Fuente del encabezamiento o término |
LEMB |
9 (RLIN) |
3245 |
Nombre de materia o nombre geográfico como elemento de entrada |
Lenguajes de programación (Computadores electrónicos) |
650 27 - ASIENTO SECUNDARIO DE MATERIA--TÉRMINO DE MATERIA |
Fuente del encabezamiento o término |
LEMB |
9 (RLIN) |
3262 |
Nombre de materia o nombre geográfico como elemento de entrada |
Computadores |
650 27 - ASIENTO SECUNDARIO DE MATERIA--TÉRMINO DE MATERIA |
9 (RLIN) |
3240 |
Nombre de materia o nombre geográfico como elemento de entrada |
Informática |
Fuente del encabezamiento o término |
LEMB |
700 1# - ENCABEZAMIENTO SECUNDARIO--NOMBRE PERSONAL |
9 (RLIN) |
3862 |
Nombre de persona |
Blanco y Correa Magallanes, Jorge Luis |
Término relacionador |
Traductor |
700 1# - ENCABEZAMIENTO SECUNDARIO--NOMBRE PERSONAL |
9 (RLIN) |
3863 |
Nombre de persona |
Valeriano Assem, Jorge |
Término relacionador |
Revisor técnico |
700 1# - ENCABEZAMIENTO SECUNDARIO--NOMBRE PERSONAL |
9 (RLIN) |
3864 |
Nombre de persona |
García Fernández, Jesús |
Término relacionador |
Revisor técnico |
700 1# - ENCABEZAMIENTO SECUNDARIO--NOMBRE PERSONAL |
9 (RLIN) |
3865 |
Nombre de persona |
Gómez Andrade, Abelardo |
Término relacionador |
Revisor técnico |
856 42 - ACCESO ELECTRÓNICO |
Identificador uniforme del recurso URI |
<a href="https://www.casadellibro.com/libro-lenguajes-formales-y-teoria-de-la-computacion-3-ed/9789701045947/991747">https://www.casadellibro.com/libro-lenguajes-formales-y-teoria-de-la-computacion-3-ed/9789701045947/991747</a> |
Texto del enlace |
Reseña | Lenguajes formales y teoría de la computación |
942 ## - ELEMENTOS KOHA |
Koha préstamos (prestados), todos los ejemplares |
2 |
Fuente de clasificación o esquema de ordenación en estanterías |
|
Koha tipo de item |
Libro - Material General |