000			02014nam a2200277 a 4500
003			MX-TeUDD
005			20240611091546.0
008			040915s2004 mx a grb 001 0 spa c
020			_a9701045947
040			_aMX-TeUDD _bspa _cMX-TeUDD
050	0	4	_aQA267.5.S4 _bM3 2004
100	1		_aMartin, John C. _9164423
240			_aIntroduction to languages and the theory of computation.
245	1	0	_aLenguajes formales y teoría de la computación / _cJohn C. Martin ; traducción Jorge Luis Blanco y Correa Magallanes.
250			_a3a ed.
260			_aMéxico : _bMcGraw-Hill, _c2004
300			_axvii, 545 p. : _bil. ; _c24 cm.
504			_aBibliografía: p. 529-530.
505	8		_aParte I.- Notación y técnicas matemáticas.-- Capítulo 1.- Objetos matemáticos básicos.-- Capítulo 2.- Inducción matemáticas y definiciones recursivas.-- Parte II.- Lenguajes regulares y autómatas finitos.-- Capítulo 3.- Expresiones regulares y autómatas finitos.-- Capítuo 4.- No determinismo y el teorema de Kleene.- Capítulo 5.- Lenguajes regulares y no regulares.-- Parte III.- Lenguajes de contexto libre y autómatas finitos con pila.-- Capítulo 6.- Gramáticas de contexto libre.-- Capítulo 7.- Autómatas con pila.-- Capítulo 8.- Lenguajes de contexto libre y lenguajes que no son de contexto libre.-- Parte IV.- Máquinas de Turing y sus lenguajes.-- Capítulo 9.- Máquinas turing.-- Capítulo 10.- Lenguajes enumerables recursivamente.-- Parte V.- Problemas insolubles y funciones computables.-- Capítulo 11.- Problemas insolubles.-- Capítulo 12.- Funciones computables.-- Parte VI.- Introducción a la complejidad computacional.-- Capítulo 13.- edición y clasificación de la complejidad.-- Capítulo 14.- Problemas tratables e intratables.
650		4	_aTeoría de las maquinas secuenciales _9111562
650		4	_aFunciones calculables _9164424
700	1		_aBlanco y Correa Magallanes, Jorge Luis, _etr. _919548
905			_aAcervo
906			_aRocio _b20050316
942			_cBK01 _2lcc
999			_c267535 _d267535
907			_c1156 _dHéctor Manuel Martínez Rivera