TY - BOOK AU - Martin,John C. AU - Blanco y Correa Magallanes,Jorge Luis AU - Valeriano Assem,Jorge AU - García Fernández,Jesús AU - Gómez Andrade,Abelardo TI - Lenguajes formales y teoría de la computación SN - 9701045947 U1 - 005.13 21 ed. PY - 2004/// CY - México PB - McGraw Hill KW - Lenguajes Formales (Computadores) KW - Notación Matemática KW - Computación KW - Lenguajes Autómatas Formales N1 - Traducido de: Introduction to languajes and the theory of computation; Incluye bibliografía, índice, etc; Pte. 1. Notación y técnicas matemáticas -- 2. Lenguajes regulares y autómatas finitos -- 3. Lenguajes de contexto libre y autómatas finitos con pila -- 4. Máquinas de turing y sus lenguajes -- 5. Problemas insolubles y funciones computables -- 6. Introducción a la complejidad computacional ER -