Elements of the theory of computation
/ Harry R. Lewis
- 2nd ed.
- Upper Saddle River, N.J. : Prentice-Hall , 1998
- 361 p. : il.
- (Prentice-Hall software series) .
0132624788
LENGUAJES FORMALES LOGICA MATEMATICA MAQUINAS DE TURING SISTEMAS AUTOORGANIZATIVOS