Bibliografia

Principal

• Introduction to the Theory of Computation: Michael Sipser 2006 Second Edition, International Edition, Thomson Course Technology.
• Teoria da Computação: C.Caleiro, F.M. Dionísio, P.Gouveia, J.Ramos, J. Rasga 2018 notas de apoio, DMIST
• Introduction to Automata Theory, Languages and Computability: J. Hopcroft, R. Motwani, J. Ullman 2001 2nd edition, Addison-Wesley Longman
• Theoretical Computer Science: Introduction to Automata, Computability, Complexity, Algorithmics, Randomization, Communication, and Cryptography.: J. Hromkovič 2003 Springer,

Secundária

Não foi definida bibliografia secundária