Automata and computability - Kozen; Dexter,C (Springer - Verlag, New York, 1997)
Keywords: COMPUTACION; AUTOMATA; TEORIA DE MAQUINA