TY - BOOK AU - Kelley,Dean TI - Teoría de autómatas y lenguajes formales SN - 978-0-13-518705-0 U1 - 511.3 PY - 1995/// CY - México PB - Prentice Hall KW - 511.3 - Lógica matemática (lógica simbólica) N2 - Contenido: Preliminares matemáticos. Alfabetos y lenguajes. Lenguajes regulares. lenguajes independientes del contexto. Máquinas de turing ER -