Teóricas

Computação Simbólica e Programação

consultar a página seguinte (link)

Modelos de Computação

• Aula Inaugural - O nascer de uma disciplina   -    Introdução contextual e histórica à Teoria da Computação (em forma de sebenta)
• Capítulo: complementos sobre técnicas matemáticas
  • Complementos sobre técnicas matemáticas para a Teoria da Computação (mais detalhes sobre indução estrutural) - suporte pedagógico auxiliar
• Capítulo: Conceitos preliminares à Teoria da Computação e à Teoria das Linguagens Formais
• Capítulo: Autómatos Finitos
  • Acetatos manuscritos "automatos" ‍ num só pdf
  • Acetatos manuscritos "automatos" ‍ formato RAR
• Capítulo: Álgebras de Kleene e expressões regulares
• Capítulo: Algoritmia das strings
• Capítulo: Linguagens e Gramáticas
• Capítulo: Autómatos de Pilha e Linguagens Algébricas
• Capítulo: Bibliotecas e Ferramentas para o processamento de linguagems
• Capítulo: Máquinas de Turing
• Capítulo: Funções Recursivas de Kleene

Computabilidade e Teoria da Complexidade

• Capítulo: A não-computabilidade
• Capítulo: A teoria da complexidade

Código OCaml para suporte às aulas

• Execução genérica de autómatos finitos não determinísticos com є-transições (em ocaml)
• Execução genérica de autómatos finitos determinísticos (em ocaml)