TY  - BOOK
AU  - Martín, Jhon
TI  - Lenguajes Formales y Teoría de la Computación 
SN  - 9701045947
U1  - QA76.8  
PY  - 2004///
CY  - México
PB  - McGraw-Hill
KW  - NOTACIÓN Y TÉCNICAS MATEMÁTICAS
KW  - OBJETOS MATEMÁTICOS BÁSICAS
KW  - LENGUAJES REGULARES Y AUTÓMATAS FINITOS
KW  - INGENIERÍA INFORMÁTICA Y SISTEMAS
KW  - LENGUAJE
KW  - FORMALES
KW  - TEORIA
N1  - Notación y técnicas matemáticas. -- Objetos matemáticos básicos. -- Inducción matemáticas y definiciones recursivas. -- lenguajes regulares y autómatas finitos. -- Expresiones regulares y automáticos finitos. -- No determinismo y el teorema de kleene. -- lenguajes regulares y no regulares. -- lenguaje de contexto libre y autómatas finitas con pila. -- Gramáticas de contexto libre. -- Autómatas con pila. -- lenguajes de contexts libre y lenguajes que no son de contexto libre. -- Maquinas de turing y sus lenguajes. -- Máquinas de turing. -- lenguajes enumerables recursivamente. -- Problemas insolubles y funciones computables. --- Problemas insolubles. -- Funciones computables. -- Introducción a la complejidad computacional. -- medición y clasificación de la complejidad. -- Problemas tratables e intratables. -- referencias. -- Bibliografía. -- Indice de notación.
N2  - Este libro trata de  lenguajes formales y teoría de la computación
ER  -