Bibliografia

O programa será desenvolvido com base nos capítulos 1 a 11 de:

• Sudkamp, T.A. Languages and Machines: An Introduction to the Theory of Computer Science, 2nd ed., Addison-Wesley, 1997.

A seguinte bibliografia contém outras abordagens para os mesmos assuntos, e exercícios adicionais:

• Aho, A.V., Ullman, J.D. The Theory of Parsing, Translation and Compiling, vol I: Parsing, Prentice-Hall, 1972.
• Denning, P.J., Dennis, J.B., Qualitz, J.E. Machines, Languages and Computation, Prentice-Hall, 1978.
• Hopcroft, J.E., Ullman, J.D. Formal Languages and Their Relation to Automata, Addison-Wesley, 1969.
• Hopcroft, J.E., Ullman, J.D. Introduction to Automata Theory, Languages and Computation, Addison-Wesley, 1979.
• Kelley, D. Automata and Formal Languages: an introduction, Prentice-Hall, 1995.
• Lewis, H.R., Papadimitriou, C.H. Elements of the Theory of Computation, Prentice-Hall, 1981.
• Martin, J.C. Introduction to Languages and the Theory of Computation, McGraw-Hill, 1991.