CI059-BCC2 - Introdução a Teoria da Computação
Segundo Semestre de 2023
Profa. Carmem Hara
[Dias de Aula]
[Provas]
[Bibliografia]
[Notas de Aula]
[Listas de Exercicios]
Aulas
- terça-feira, 13:30-15:10, na PC-17
- quinta-feira, 13:30-15:10, na PC-17
Horário de atendimento: terça-feira, 15:30-16:30
Não haverá aula na semana de 25 a 29 de setembro.
Provas
- Primeira: 03/outubro/2023, terça-feira
[Notas]
- Segunda: 23/novembro/2023, quinta-feira
[Notas]
Horário para ver a prova: 28/novembro, terça-feira, entre 13:30h e 14h, na sala de aula.
Exame Final: 07/dezembro/2023, quinta-feira, na PA-05
[Notas]
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]
[solucão]
- Lista 2: Transformacoes de automatos, Lema de Bombeamento, Gramaticas Livres de Contexto
[.pdf]
[solucão]
- 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]
[solucão]
- Lista 5: Máquinas de Turing [.pdf]
[solucão]