Bibliografia

O programa será desenvolvido com base em uma apostila a ser distribuída durante o semestre. Os capítulos estarão disponíveis em

http://www.dcc.ufmg.br/~nvieira

na entrada

Cursos de graduação/Fundamentos da Teoria da Computação/[2002/1]

na medida em que ficarem prontos, no formato PostScript. Alternativamente, existirá uma versão em papel para os que preferirem tirar fotocópia.

A seguinte lista de livros contém outras abordagens para os assuntos constantes do programa, assim como exercícios adicionais. 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. Hopcroft, J.E., Motwani, R., Ullman, J.D. Introduction to Automata Theory, Languages, and Computation, 2nd ed., Addison-Wesley, 2001.
8. *Howie, J.M. Automata and Languages, Oxford University Press, 1991.
9. Kelley, D. Automata and Formal Languages: an introduction, Prentice-Hall, 1995.
10. *Kozen, D.C. Automata and Computability, Springer, 1997.
11. Lewis, H.R., Papadimitriou, C.H. Elements of the Theory of Computation, Prentice-Hall, 1981.
12. Martin, J.C. Introduction to Languages and the Theory of Computation, McGraw-Hill, 1991.
13. Menezes, P.B. Linguagens Formais e Autômatos, $2^{\mbox{\underline{a}}}$ ed., Sagra Luzzatto, 1998.
14. *Moret, B.M. The Theory of Computation, Addison-Wesley, 1998.
15. Rèvèsz, G.E. Introduction to Formal Languages, Dover, 1983.
16. Sipser, M., Introduction to Theory of Computation, PWS Publishing Co., 1997.
17. Sudkamp, T.A. Languages and Machines: An Introduction to the Theory of Computer Science, 2nd ed., Addison-Wesley, 1997.
18. Taylor, R.G., Models of Computation and Formal Languages, Oxford University Press, 1998.
19. Wood, D., Theory of Computation, John Wiley & Sons, 1987.

Grande parte destes livros está disponível na biblioteca do ICEx (sala 4222).