Teoria de Linguagens
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: 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:
  • Primeira Lista. Entrega: 04/12/2002.
  • Segunda Lista. Entrega: 20/01/2003.
  • Terceira Lista. Entrega: 24/02/2003.
• Provas:
  • Primeira Prova:
    • Data: 04/12.
    • Assunto: Até item 2.4, inclusive.
  • Segunda Prova:
    • Data: 20/01.
    • Assunto: Até capítulo 3, inclusive.
  • Terceira Prova:
    • Data: 24/02.
    • Assunto: Até capítulo 5, inclusive.
• Seminários:
  • Attribute grammars
    Aluno: Fabíola Guerra Nakamura.
  • Casamento de strings utilizando autômatos
    Aluno: Pedro de Alcântara dos Santos Neto.
  • Cellular automata
    Aluno: Renan O. da Cunha.
  • DNA Computing
    Aluno: Mateus Barcelos da Costa.
  • Incomputability
    Aluno: Rainer Ronnie Pereira Couto.
  • Lindenmayer systems (L-systems)
    Aluno: José Pinheiro de Queiroz Neto.
  • Quantum Computing
    Aluno: Aloizio Prereira da Silva.
  • Teorema da incompletude de Godel
    Aluno: Jacques Fux.
  • Timed automata
    Aluno: Ricardo Augusto Rabelo Oliveira.
  • Tree automata
    Aluno: Claudiney Vander Ramos.
  • Uso de ERs e GLCs como restrições no processo de mineração de regras de associações temporais
    Aluno: Vânia Maria de Menezes.
• Alguns outros tópicos para seminários:
  • Alternating automata
• Veja suas notas.