Bibliografia

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

• Sudkamp, T.A. Languages and Machines: An Introduction to the 7 Theory of Computer Science, Addison-Wesley, 1988.

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.
• Lewis, H.R., Papadimitriou, C.H. Elements of the Theory of Computation, Prentice-Hall, 1981.