Previous Up Next

Teóricas

Introdução contextual e histórica à Teoria da Computação

Conceitos preliminares à Teoria da Computação

Complementos sobre técnicas matemáticas para a Teoria da Computação (mais detalhes sobre indução estrutural)

Capítulo "OCaml" Capítulo "Autómatos"

Acetatos manuscritos "automatos" num só pdf

Acetatos manuscritos "automatos" formato RAR

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)

Capítulo "Linguagens e Gramáticas"

Capítulo "Autómatos PushDown e Linguagens Algébricas"

Capítulo "Máquinas de Turing"


Previous Up Next