Sumários

Resolução de Exercícios sobre DFA's

27 Setembro 2019, 11:30 • Andreia Mordido

Resolução de exercícios sobre a folha de exercícios sobre autómatos com ênfase na definição de DFA, de computação, reconhecimento por um DFA e desenho de DFA's para linguagens.

(Aula dada pelo regente da disciplina, por motivos de missão no estrangeiro devidamente autorizada.)

Resolução de Exercícios sobre DFA's

27 Setembro 2019, 08:00 • Andreia Mordido

Resolução de exercícios sobre a folha de exercícios sobre autómatos com ênfase na definição de DFA, de computação, reconhecimento por um DFA e desenho de DFA's para linguagens.

(Aula dada pelo regente da disciplina, por motivos de missão no estrangeiro devidamente autorizada.)

Resolução de Exercícios sobre DFA's

27 Setembro 2019, 08:00 • André Souto

Resolução de exercícios sobre a folha de exercícios sobre autómatos com ênfase na definição de DFA, de computação, reconhecimento por um DFA e desenho de DFA's para linguagens.

Equivalência entre DFA e NFA

25 Setembro 2019, 09:30 • André Souto

Recapitulação de definição formal de NFA e computação num NFA.

Exemplos de NFA's e exemplos de linguagens reconhecidas por NFA's.

Comparação DFA vs NFA.

Noção de equivalência entre autómatos.

Prova que um DFA tem um NFA equivalente.

Noção de fecho-epsilon de um NFA.

Exemplos.

Prova que um NFA tem um DFA equivalente.

Exemplos de construção.

Algoritmo de simplificação do processo de equivalência.

Exemplo.

Estudar secção 1.2 do Sipser.

Resolução de Exercícios sobre DFA's

25 Setembro 2019, 08:00 • André Souto

Resolução de exercícios sobre a folha de exercícios sobre autómatos com ênfase na definição de DFA, de computação, reconhecimento por um DFA e desenho de DFA's para linguagens.