Fundamentos da Teoria da Computação
Primeiro semestre/2001

• Plano de Curso: HTML, PostScript.
• Apostila: (não mais disponivel)
  • Capítulo 0: Conceitos Preliminares
  • Capítulo 1: Máquinas de Estado-Finito
  • Capítulo 2: Autômatos com Pilha
  • Capítulo 3: Máquinas de Turing
• A página da profa. Susan H. Rodger contém referências para ferramentas que podem ser utilizadas para o estudo de alguns conceitos.
• Listas de exercícios:
  • Primeira lista:
    • Capítulo 0: 0.2: 1(b), 1(e), 2(c); 0.3: 4(b), 5; 0.4: 1; 0.5: 2; 0.6: 2; 0.7: 5, 6. 0.8: 3(b), 5; 0.9: 3; 0.10: 1, 2, 4, 5; 0.11: 1, 3(a), 3(b), 3(c), 4; 0.12: 1.
    • Capítulo 1: 1.2: 1, 2, 10, 12, 16(a), 16(b).
  • Segunda lista:
    • Capítulo 1: 1.3: 1, 2, 4, 5, 6, 7; 1.4: 3(a, d, f), 4, 6, 7; 1.6: 3, 4, 6, 8; 1.7: 1, 2, 3, 5, 6.
  • Terceira lista:
    • Capítulo 2: 2.2: 2, 3, 4, 5, 6, 7; 2.3: 2, 3, 4, 8; 2.4: 1, 2, 3, 4, 5, 8, 9 12; 2.5: 2(a), 2(b), 3, 4, 5, 6, 7, 9.
  • Quarta lista:
    • Capítulo 2: 2.5: 2(a), 2(c), 3, 4, 5, 6, 7.
    • Capítulo 3: 3.1: 1(a), 1(c), 1(g), 4, 5; 3.2: 2, 5, 6; 3.3: 1, 2, 3; 3.4: 1, 2, 3, 4.
• Provas:
  • Primeira prova:
    • Assunto: capítulo 0 e capítulo 1 até seção 1.2, inclusive.
    • Data: 17/04/01. ATENÇÃO: prova adiada para o dia 24/04/01.
  • Veja a solução do professor para a primeira prova.
  • Segunda prova:
    • Assunto: capítulo 1.
    • Data: 17/05/01.
  • Terceira prova:
    • Assunto: capítulo 2.
    • Data: 12/06/01.
  • Quarta prova:
    • Assunto: seção 2.5 e capítulo 3.
    • Data: 05/07/01.
• Trabalhos Práticos:
  • Autômatos finitos determinísticos. Data de entrega: 08/05/01. Atenção: Entrega adiada para 10/05/01.
  • Autômatos finitos não determinísticos com transições vazias. Data de entrega: 12/06/01.
• Confira suas notas. Veja como sua nota estará lançada no diário de classe.