Sumários

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

24 Setembro 2019, 11: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

24 Setembro 2019, 10:30 • 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.

Operações regulares e não determinismo

24 Setembro 2019, 09:30 • André Souto

Operações regulares com linguagens.

Prova de que a união e intersecção de duas linguagens regulares ainda é uma linguagem regular.

Motivação com o fecho de Kleene como operação regular para o não determinismo.

Diferenças entre DFA e NFA.

Noção de computação num NFA.

Definição formal de NFA e computação num NFA.

Exemplos.

Secção 1.2 do Sipser

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

23 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.

Não se realizou

20 Setembro 2019, 11:30 • Andreia Mordido

As aulas TP iniciam-se na segunda semana.