Martin, John C.
Lenguajes formales y teoría de la computación / John C. Martin ; traducción Jorge Luis Blanco y Correa Magallanes ; revisión técnica Jorge Valeriano Assem, Jesús García Fernández, Abelardo Gómez Andrade. - 3a. ed. Editor Sergio Campos Peláez. - México : McGraw-Hill, 2004. - xvii, 545 p. : il. ; 24 cm.
Incluye bibliografías e índice.
978-9962-00-626-8
Inducción (Matemáticas)
Lógica simbólica.
Programación (Computadores electrónicos)
Computadores-- teoría.
Funciones recursivas.
Teoría de las máquinas secuenciales.
005.131 / M379
Lenguajes formales y teoría de la computación / John C. Martin ; traducción Jorge Luis Blanco y Correa Magallanes ; revisión técnica Jorge Valeriano Assem, Jesús García Fernández, Abelardo Gómez Andrade. - 3a. ed. Editor Sergio Campos Peláez. - México : McGraw-Hill, 2004. - xvii, 545 p. : il. ; 24 cm.
Incluye bibliografías e índice.
978-9962-00-626-8
Inducción (Matemáticas)
Lógica simbólica.
Programación (Computadores electrónicos)
Computadores-- teoría.
Funciones recursivas.
Teoría de las máquinas secuenciales.
005.131 / M379