Bibliografia Adicional

A seguinte bibliografia contém outras abordagens para alguns dos tópicos do programa:

• 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.
• Sipser, M., Introduction to Theory of Computation, PWS Publishing Co., 1997.
• Wood, D., Theory of Computation, John Wiley & Sons, 1987.