Sumários
Resolução de exercícios sobre autómatos finitos.
5 março 2015, 14:00 • Joao Marques Silva
Resolução de exercícios sobre a conversão de expressões regulares para eNFA, sobre a conversão de NFA para DFA, e sobre a minimização de DFA.
Minimização de autómato
5 março 2015, 08:00 • Joao Marques Silva
Minimização de autómatos finitos. Equivalência de linguagens regulares. Introdução à ferramenta Flex. Breve introdução à programação em C++.
Expressões regulares e autómatos finitos
27 fevereiro 2015, 15:30 • Joao Marques Silva
Resolução de exercícios sobre expressões regulares e sobre autómatos finitos.
Expressões regulares e autómatos finitos
27 fevereiro 2015, 14:00 • Joao Marques Silva
Resolução de exercícios sobre expressões regulares e sobre autómatos finitos.
Expressões Regulares e Autómatos Finitos
27 fevereiro 2015, 11:30 • Joao Marques Silva
Autómatos finitos com transições epsilon. Conversão de expressões regulares para autómatos finitos não determinísticos com transições epsilon. Conversão de autómatos finitos não determinísticos (com e sem transições epsilon) para autómatos finitos determinísticos. Análise pior caso da conversão de autómatos finitos não determinísticos para autómatos finitos determinísticos. Análise de exemplos.