Bibliografia Adicional

A seguinte lista de livros complementa a apostila e contém outras abordagens para os assuntos constantes do programa. Os livros mais avançados ou que demandem uma maior maturidade matemática estão marcados com asteriscos.

1.

Aho, A.V., Ullman, J.D. The Theory of Parsing, Translation and Compiling, vol I: Parsing, Prentice-Hall, 1972.

2.

Denning, P.J., Dennis, J.B., Qualitz, J.E. Machines, Languages and Computation, Prentice-Hall, 1978.

3.

Floyd. R.M., Beigel, R. The Language of Machines: An introduction to computability and formal languages, Computer Science Press, 1994.

4.

Greenlaw, R., Hoover, H.J. Fundamentals of the Theory of Computation, Morgan Kauffmann, 1998.

5.

Hopcroft, J.E., Ullman, J.D. Formal Languages and Their Relation to Automata, Addison-Wesley, 1969.

6.

*Hopcroft, J.E., Ullman, J.D. Introduction to Automata Theory, Languages and Computation, Addison-Wesley, 1979.

7.

*Howie, J.M. Automata and Languages, Oxford University Press, 1991.

8.

Kelley, D. Automata and Formal Languages: an introduction, Prentice-Hall, 1995.

9.

*Kozen, D.C. Automata and Computability, Springer, 1997.

10.

Lewis, H.R., Papadimitriou, C.H. Elements of the Theory of Computation, Prentice-Hall, 1981.

11.

Martin, J.C. Introduction to Languages and the Theory of Computation, McGraw-Hill, 1991.

12.

Menezes, P.B. Linguagens Formais e Autômatos, $2^{\mbox{\underline{a}}}$ ed., Sagra Luzzatto, 1998.

13.

*Moret, B.M. The Theory of Computation, Addison-Wesley, 1998.

14.

Rèvèsz, G.E. Introduction to Formal Languages, Dover, 1983.

15.

Sipser, M., Introduction to Theory of Computation, PWS Publishing Co., 1997.

16.

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

17.

Taylor, R.G., Models of Computation and Formal Languages, Oxford University Press, 1998.

18.

Wood, D., Theory of Computation, John Wiley & Sons, 1987.