Bibliografia

Principal

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

Secundária

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