Sumários

Resolução de exercícios da folha de autómatos

7 Outubro 2019, 08:00 • André Souto

Resolução de exercícios sobre equivalência entre NFA e DFA.

Resolução de exercícios sobre a eliminação de transições epslion.

Resolução de exercícios sobre construções envolvendo operações regulares.

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

4 Outubro 2019, 11:30 • 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

4 Outubro 2019, 08:00 • André Souto

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

4 Outubro 2019, 08:00 • Andreia Mordido

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

Operações regulares sobre linguagens

2 Outubro 2019, 09:30 • André Souto

Recapitulação de equivalência entre DFA's.

Recapitulação da eliminação de transições epsilon de NFA's.

Operações sobre linguagens: Prova que a reunião, concatenação, fecho de Kleene, complementar e intersecção de linguagens regulares ainda são regulares.

Exemplos.

Estudar Secção 1.3 do livro do Sipser.