Teoria de Linguagens
Segundo semestre/2001

• Plano de curso: HTML; PostScript (Para leitura de PostScript, pegue o software apropriado.)
• A página da profa. Susan H. Rodger contém referências para ferramentas que podem ser utilizadas para o estudo de alguns conceitos.
• 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
  • Capítulo 4: Decidibilidade
• Veja uma demonstração poética da indecidibilidade do problema da parada (em PDF).
• Veja o trabalho prático (em PostScript).
• Listas de exercícios:
  • Primeira Lista. Devolução: 17/09/2001.
  • Segunda Lista. Devolução: 31/10/2001 (até questão 10) e 7/11/2001 (o resto).
  • Terceira Lista. Devolução: 28/11/2001.
• Provas:
  • Primeira Prova:
    • Data: 19/09.
    • Assunto: Até item 1.2.
    • Veja a solução do professor.
  • Segunda Prova/parte 1:
    • Data : 31/10.
    • Assunto: Até capítulo 1.
    • Veja a solução do professor.
  • Segunda Prova/parte 2:
    • Data : 07/11.
    • Assunto: Até capítulo 2.
    • Veja a solução do professor.
  • Terceira Prova:
    • Data: 03/12.
    • Assunto: tudo.
    • Veja a solução do professor.
• Seminários/já decididos:
  • Attribute grammars.
    Aluno: Warley Rodrigues de Almeida.
  • Cellular automata.
    Aluno: Júlio César Dillinger Conway.
  • Codes
    Aluno: Kíssia Carvalho.
  • DNA Computing
    Aluno: Marcos Augusto Menezes Vieira.
  • Gramáticas e XML
    Aluno: Joyce Christina de Paiva Carvalho
  • I/O automata
    Aluno: Lilian Noronha Nassif
  • Lambda-calculus
    Aluno: Vânia Maria de Menezes
  • Lindenmayer systems (L-systems)
    Aluno: Romanelli L. Zuim.
  • Model Checking como um problema em Teoria dos Grafos.
    Aluno: Umberto Souza da Costa.
  • Modelagem de BDI-agents através de autômatos
    Aluno: Humberto Torres Marques Neto.
  • O pensamento de Edsger W. Djikstra
    Aluno: Lúcio França
  • Quantum Computing (ver ACM Computing Surveys, 32(3), Sep. 2000)
    Aluno: Luiz Filipe Menezes Vieira
  • Reconhecimento Sintático de Padrões de Texturas em Imagens Digitais.
    Aluno: José Luiz de Souza Pio.
  • Teorema da incompletude de Godel
    Aluno: Daniela Cristina Cascini Peixoto
  • Timed automata
    Aluno: Fernando Cortez Sica
  • Tree automata.
    Aluno: Karla A. Vasconcelos Borges.
• Seminários/propostas em aberto:
  • Alternating automata
  • Picture description grammars
  • Sistemas de reescrita
  • Teoria dos tipos
• Veja suas notas.