Bibliografia
Principal
- Computability: An Introduction to Recursive Function Theory:
N. Cutland
1980
Cambridge University Press
- Introduction to Automata Theory, Languages, and Computation:
J. Hopcroft, R. Motwani e J. Ullman
2001
Addison Wesley
- Introduction to the Theory of Computation:
M. Sipser
1997
PWS Publishing Company
- Introdução à Teoria da Computação:
C. Sernadas
1993
Editorial Presença
- Theoretical Foundations of Computer Science:
D. Mandrioli e C. Ghezzi
1987
John Wiley
Secundária
Não foi definida bibliografia secundária