CI059-BCC1 - Introdução a Teoria da Computação
Primeiro Semestre de 2025
Profa. Carmem Hara
[Dias de Aula]
[Provas]
[Bibliografia]
[Notas de Aula]
[Listas de Exercicios]
Aulas
- terça-feira, 13:30-15:10, na PA-01
- quinta-feira, 13:30-15:10, na PA-01
Horário de atendimento: terça-feira, 15:30-16:30
Provas
- Primeira: 29/abril/2025, terça-feira
- Segunda: 26/junho/2025, quinta-feira
- Exame Final: 08/julho/2025, terça-feira
Bibliografia
- Livro Texto:
Introducao a Teoria de Autômatos, Linguagens e Computacao
John E. Hopcroft, Jeffrey D. Ullman, Rajeev Motwani
Segunda Edicao, Editora Campus, 2003
- Autômatos, Computabilidade e Complexidade Computacional
Murilo Silva, 2017
- Languages and Machines: An Introduction to the Theory of
Computer Science
Thomas Sudkamp
Addison-Wesley, Second Edition, 1998
- Elementos de Teoria da Computacao
Harry F. Lewis, C. H. Papadimitriou
2a Edicao, Editora Bookman
- Introduction to Automata Theory, Languages and Computation
John E. Hopcroft, Jeffrey D. Ullman
Addison-Wesley, 1979
- Theory of Computation
Wood, D., Ed. John Wiley & Sons, 1987
- Introducao aos Fundamentos da Computacao
Newton Jose Vieira
Ed. Pioneira Thomson Learning, 2006
Notas de Aula
Listas de Exercicios
- Lista 1: Linguagens, expressoes regulares e automatos finitos
[.pdf]
- Lista 2: Transformacoes de automatos, Lema de Bombeamento, Gramaticas Livres de Contexto
[.pdf]
- Lista 3: Apresente um autômato com pilha para as linguagens do Exercício 4 da Lista 2.
- Lista 4: Linguagens livres de contexto [.pdf]
- Lista 5: Máquinas de Turing [.pdf]