Bibliografia

Principal

• Michael Sipser (2013) Introduction to the Theory of Computation ISBN 978-113-318-781-3

Secundária

• Harry Lewis, Christos Papadimitriou (1997) Elements of the theory of computation ISBN 978-013-262-478-7
• John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman (2001) Introduction to Automata Theory, Languages and Computation ISBN 020-144-124-1
• Thomas Sudkamp (2006) Languages and Machines ISBN 032-131-534-0