Teoria de Linguagens
Segundo semestre/2006

• Livro texto: Introdução aos Fundamentos da Computação, Pioneira Thomson Learning, 2006.
  Algumas livrarias com venda on line:
  • Cultura
  • Saraiva
  • Siciliano
• Plano de curso: PostScript (Para leitura de PostScript, pegue o software apropriado.)
• As seguintes páginas podem auxiliar no aprendizado de certos conceitos:
  • Language Emulator
  • JFLAP; veja como usar .
  • Deus ex Machina
  • Turing's World
  • Webworks Laboratory
  • Ganimal
  • The Java Computability Toolkit
  • Turing Machine (C++ Simulator)
• ANTLR: a framework for constructing recognizers, compilers, and translators from grammatical descriptions containing Java, C#, or C++.
• Veja uma demonstração poética da indecidibilidade do problema da parada (em PS).
• Listas de exercícios:
  • Primeira Lista. Entrega: 18/09/2006.
    Enunciado em Latex.
  • Segunda Lista. Entrega: 16/10/2006.
    Enunciado em Latex.
  • Terceira Lista. Entrega: 20/11/2005.
    Enunciado em Latex.
• Provas:
  • Primeira Prova:
    • Data: 20/09.
    • Assunto: Até item 2.4, inclusive.
    • Veja a solução do professor.
  • Segunda Prova:
    • Data: 16/10.
    • Assunto: Até capítulo 3, inclusive.
  • Terceira Prova:
    • Data: 22/11.
    • Assunto: Até capítulo 5, inclusive.
    • Veja a solução do professor.
  • Prova Suplementar (não obrigatória):
    • Data: 06/12.
    • Assunto: Toda a matéria.
    • Valor: 18 pontos.
    • Importante: a nota substituirá a menor das 3 notas anteriores.
• Seminários (cronograma tentativo; qualquer problema, entre em contato):
  
  • Dia 27/11, 16:30h, sala 2016.
    1. Generalized LR parser.
       Denis Pinto Pinheiro.
    2. O lâmbda-cálculo.
       Rodrigo Geraldo Ribeiro.
    3. Cellular automata.
       Cristiano Gato de Rezende.
    4. Toward a theory of intelligence.
       Thais Regina M. Braga.
    5. Scheduling timed automata.
       Ted Araújo Notini.
    6. Tetris and decidability.
       Tiago Alves Macambira.
    7. Computação quântica.
       Bruno Rocha Coutinho.
  • Dia 29/11, 16:30h, sala 2016.
    1. Obtaining shorter regular expressions from finite-state automata.
       Renata Braga Araujo.
    2. Tree automata.
       George L. Medeiros Teodoro.
    3. Algoritmo shift-and para casamento de padrões exato e aproximado.
       Marcelo Borghetti Gomes.
    4. Redes de Petri.
       Raquel da Silva Cabral.
    5. Vírus e decidibilidade.
       Fabrício Benevenuto de Souza.
    6. Incremental construction of minimal deterministic cover automata.
       Guilherme H. Trielli Ferreira.
    7. Autômatos Büchi
       Isabel Gomes Barbosa.
    8. Rule-oriented programming for wireless sensor networks
       Rone Ilídio da Silva.
• Veja suas notas.