Bibliografia Adicional

Algumas referências que tratam do item 1 do programa, referente ao conteúdo de matemática discreta necessário para um bom acompanhamento do curso:

1. Dean, N. The Essence of Discrete Mathematics, Prentice Hall, 1997.
2. Grimaldi, R.P. Discrete and Combinatorial Mathematics: An Applied Introduction, 3rd ed., Addison-Wesley, 1994.
3. Velleman, D.J. How To Prove It, Cambridge University Press, 1994.

É muito importante, caso o aluno não domine algum tópico mencionado no item 1 (exceto linguagens formais, gramáticas e problemas de decisão), que ele o estude por conta própria, pois no curso será feita apenas uma revisão rápida.

A seguinte lista de livros complementa a apostila e contém outras abordagens para os assuntos constantes dos itens 2 e 3 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. 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. Linz, P., An Introduction to Formal Languages and Automata, 2nd ed., Jones and Bartlett, 1997.
13. Martin, J.C. Introduction to Languages and the Theory of Computation, McGraw-Hill, 1991.
14. Menezes, P.B. Linguagens Formais e Autômatos, $2^{\mbox{\underline{a}}}$ ed., Sagra Luzzatto, 1998.
15. *Moret, B.M. The Theory of Computation, Addison-Wesley, 1998.
16. Rèvèsz, G.E. Introduction to Formal Languages, Dover, 1983.
17. Sipser, M., Introduction to Theory of Computation, PWS Publishing Co., 1997.
18. Sudkamp, T.A. Languages and Machines: An Introduction to the Theory of Computer Science, 2nd ed., Addison-Wesley, 1997.
19. Taylor, R.G., Models of Computation and Formal Languages, Oxford University Press, 1998.
20. Wood, D., Theory of Computation, John Wiley & Sons, 1987.