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

• 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
• Apostila: PS.
• Exercícios:
  • Primeira lista. Entrega: 16/09/2004.
  • Segunda lista. Entrega: 19/10/2004.
  • Terceira lista. Entrega: 23/11/2004.
  • Quarta lista. Entrega: 09/12/2004.
• Provas:
  • Primeira prova:
    • Data: 16/09/2004.
    • Assunto: até Autômatos Finitos Determinísticos (seções 1.10, 1.11, 1.12, 2.1 e 2.2).
    • Veja a solução da prova.
  • Segunda prova:
    • Data: 19/10/2004.
    • Assunto: Máquinas de Estado-Finito (capítulo 2).
  • Terceira prova:
    • Data: 23/11/2004.
    • Assunto: até Autômatos com Pilha (capítulo 3).
  • Quarta prova:
    • Data: 09/12/2004.
    • Assunto: até Máquinas de Turing (capítulo 4).
• Veja suas notas.