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

• Plano de Curso: PDF, PostScript. (Para leitura de PostScript, pegue o software apropriado.)
• As seguintes páginas podem auxiliar no aprendizado de certos conceitos:
  • Language Emulator
  • JFLAP.
  • Deus ex Machina
  • Turing's World
  • Webworks Laboratory
  • Ganimal
  • The Java Computability Toolkit
• Veja uma demonstração poética da indecidibilidade do problema da parada (em PS).
• Exercícios:
  • Primeira lista. Entrega: ao monitor, até 28/03/2005.
  • Segunda lista. Entrega: ao monitor, até 27/04/2005.
  • Terceira lista. Entrega: ao monitor, até 01/06/2005.
  • Quarta lista. Entrega: ao monitor, até 27/06/2005.
• Provas:
  • Primeira prova:
    • Data: 31/03/2005.
    • Assunto: até Autômatos Finitos Determinísticos (seções 1.10, 1.11, 1.12, 2.1 e 2.2).
  • Segunda prova:
    • Data: 28/04/2005.
    • Assunto: Máquinas de Estado-Finito (capítulo 2).
    • Veja a solução do professor.
  • Terceira prova:
    • Data: 02/06/2005.
    • Assunto: até Autômatos com Pilha (capítulo 3).
  • Quarta prova:
    • Data: 28/06/2005.
    • Assunto: até Máquinas de Turing (capítulo 4).
• Veja suas notas.
• Veja as notas do exame especial.