Sumários

9 Outubro 2019, 09:30 • André Souto

Recordar o autómato finito não determinista generalizado.

Prova de que toda a linguagem regular pode ser expressa por uma expressão regular.

Exemplos de aplicação.

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

8 Outubro 2019, 11:00 • Andreia Mordido

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.

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

8 Outubro 2019, 10:30 • 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.

8 Outubro 2019, 09:30 • André Souto

Motivação para as expressões regulares.

Definição formal de expressão regular.

Operações sobre expressões regulares.

Exemplos de valores (linguagens) definidas por expressões regulares.

Exemplos de expressões regulares para linguagens.

Prova de que toda a expressão regular define uma linguagem regular.

Exemplos de aplicação.

Enunciado de que toda a linguagem regular pode ser definida por uma expressão regular.

Noção de autómato finito não determinista generalizado.

Secção 1.3 do livro do Sipser.