Kozen, Dexter.

Automata and computability / Dexter Kozen ; editor David Gries - Ithaca, N.Y. : Springer , 1997 - xiii, 400 p. : il. - (Undergraduate texts in computer science) .

0387949070


LENGUAJES FORMALES
MAQUINAS DE TURING
ROBOTICA

519.713 K88a