Computability, complexity, and languages : fundamentals of theoretical computer science - Davis, Martin 1928- (Boston : Academic, 1994)
Keywords: TEORIA DE LAS MAQUINAS; LENGUAJES FORMALES