Lenguajes formales y teoría de la computación - Martín, John (México McGraw-Hill, 2004)
Keywords: LENGUAJES FORMALES - COMPUTACION; LOGICA MATEMATICA; TEORIA DE LOS AUTOMATAS; MAQUINAS DE TURING. I. Tít.