TY - BOOK AU - Martin,John C.. TI - Introduction to languages and theory of computation SN - 978-0071289429 PY - 2011/// CY - New York PB - McGraw-Hill KW - Lenguajes de programación KW - Autómatas matemáticos, Teoría de KW - Funciones calculables KW - Programming languages (Electronic computers) KW - Machine theory KW - Computable functions N1 - Índice abreviado: 1. Mathematical tools and techniques 2. Finite automata and the languages they accept 3. Regular expressions, nondeterminism, and Kleene's theorem 4. Context-free languages 5. Pushdown automata 6. Context-free and not-context-free languages 7. Turing machines 8. Recursively enumerable languages 9. Undecidable problems 10. Computable functions 11. Intoduction to computational complexity . Solutions to selected exercices. Selected bibliography. Index of notation. Index ER -