Sumários

Resolução de exercícios sobre NFA's

2 Outubro 2019, 08:00 • André Souto

Resolução de exercícios da folha de exercícios sobre autómatos com ênfase na definição de NFA, de computação sobre um NFA, reconhecimento por um NFA e desenho de autómatos finitos (quer deterministas quer não deterministas) para linguagens. Realização do 1º exercício prático.

Resolução de exercícios sobre NFA's

1 Outubro 2019, 11:00 • Andreia Mordido

Resolução de exercícios da folha de exercícios sobre autómatos com ênfase na definição de NFA, de computação sobre um NFA, reconhecimento por um NFA e desenho de autómatos finitos (quer deterministas quer não deterministas) para linguagens. Realização do 1º exercício prático.


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

Resolução de exercícios sobre NFA's

1 Outubro 2019, 10:30 • André Souto

Resolução de exercícios da folha de exercícios sobre autómatos com ênfase na definição de NFA, de computação sobre um NFA, reconhecimento por um NFA e desenho de autómatos finitos (quer deterministas quer não deterministas) para linguagens. Realização do 1º exercício prático.

Equivalência entre DFA e NFA

1 Outubro 2019, 09:30 • André Souto

Recapitulação de equivalência entre autómatos.
Recapitulação da prova que um DFA tem um NFA equivalente. 

Exemplos de construção.
Exemplos de uso do algoritmo de simplificação do processo de equivalência.
Algoritmo para testar se dois DFA's são equivalentes.
Exemplos.
Algoritmo para construção de um NFA sem transições epsilon a partir de um NFA com transições epsilon.


Estudar secção 1.2 do Sipser.

Resolução de exercícios sobre NFA's

30 Setembro 2019, 08:00 • André Souto

Resolução de exercícios da folha de exercícios sobre autómatos com ênfase na definição de NFA, de computação sobre um NFA, reconhecimento por um NFA e desenho de autómatos finitos (quer deterministas quer não deterministas) para linguagens. Realização do 1º exercício prático.