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/2]

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.

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

2. Cohen, D.I.A., Introduction to Computer Theory, John Wiley & Sons, 1991.

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

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

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

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

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

8. Hopcroft, J.E., Motwani, R., Ullman, J.D. Introduction to Automata Theory, Languages, and Computation, 2nd ed., Addison-Wesley, 2001.

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

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

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

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

13. Linz, P., An Introduction to Formal Languages and Automata, 2nd ed., Jones and Bartlett, 1997.

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

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

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

17. Parkes, A.P. Introduction to Languages, Machines and Logic: Computable Languages, Abstract Machines and Formal Logic, Springer-Verlag, 2002.

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

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

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

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

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

Grande parte destes livros está disponível na biblioteca do ICEx (sala 4222). Aos alunos que tenham uma menor maturidade matemática ou que desejem consultar um texto que tenha pretensões mais didáticas, recomenda-se qualquer um dos seguintes: 2, 10, 13, 14, 17, 19 ou 20. Por outro lado, aqueles que desejarem texto com mais ``substância'', recomenda-se especialmente: 8, 11 ou 16.