Fundamentos da Teoria da Computação
Segundo semestre/2002

• Plano de Curso: HTML, PostScript. (Para leitura de PostScript, pegue o software apropriado.)
• As seguintes páginas podem auxiliar no aprendizado de certos conceitos:
  • JFLAP.
  • Deus ex Machina
  • Turing's World
  • Webworks Laboratory
  • Ganimal
  • The Java Computability Toolkit
• Apostila (em PostScript): (não mais disponivel)
  • Capítulo 1: Conceitos Preliminares
  • Capítulo 2: Máquinas de Estado-Finito
  • Capítulo 3: Autômatos com Pilha
  • Capítulo 4: Máquinas de Turing
  • Capítulo 5: Decidibilidade
• Veja uma demonstração poética da indecidibilidade do problema da parada (em PS).
• Listas de exercícios (em PostScript):
  • Primeira Lista. Entrega: 28/11. Adiada para 03/12.
  • Segunda Lista. Entrega: 09/01/03. Adiada para 16/01.
  • Terceira Lista. Entrega: 13/02/03.
  • Quarta Lista. Entrega: 11/03/03.
• Provas:
  • Primeira Prova:
    • Data provável: 28/11. Adiada para 03/12.
    • Assunto: até Autômatos Finitos Determinísticos.
  • Segunda Prova:
    • Data provável: 09/01/03. Adiada para 16/01.
    • Assunto: todo o capítulo sobre Máquinas de Estado-Finito.
  • Terceira Prova:
    • Data provável: 13/02.
    • Assunto: todo o capítulo sobre Autômatos com Pilha.
  • Quarta Prova:
    • Data provável: 13/03.
    • Assunto: todo o capítulo sobre Máquinas de Turing.
• Confira sua nota.