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 AU - Campos Peláez,Sergio TI - Lenguajes formales y teoría de la computación / SN - 978-9962-00-626-8 U1 - 005.131 21 PY - 2004/// CY - México : PB - McGraw-Hill, KW - Inducción (Matemáticas) KW - Lógica simbólica KW - Programación (Computadores electrónicos) KW - Computadores KW - teoría KW - Funciones recursivas KW - Teoría de las máquinas secuenciales N1 - Incluye bibliografías e índice; Título original; Introduction to languages and the theory of computation ER -