00807nam a2200157Ia 4500008004100000020001500041050002100056100002900077245007500106250001800181260003700199300003200236505030900268650004600577650002600623120626s2004    mx            000 0 spa d  a9701045947  aQA267.5S4bM3718  aMartín, John C.eautor  aLenguajes formales y teoría de la computaciónc / John C. Martín  a3a. edición  aMéxico b: McGraw Hillc, 2004  a545 páginasb: gráficas  aI. Notación y técnicas matemáticas  
II. Lenguajes regulares y autómatas finitos  
III. Lenguajes de contexto libre y autómatas finitos con pila   
IV. Máquinas de turing y sus lenguajes   
V. Problemas insolubles y funciones computables  
VI. Introducción a la complejidad computacional     aMÁQUINAS SECUENCIALES, TEORÍA DE LAS   aFUNCIONES COMPUTABLES