Sumários

3 Outubro 2018, 09:30 • André Souto

Recapitulação da definição formal de NDFA.

Definição de computação num NDFA.

Exemplos.

Prova que um DFA pode ser visto como um NDFA.

Noção de fecho-epsilon de um estado e de um conjunto de estados.

Noção de autómatos finitos equivalentes.

Prova que um NDFA pode ser simulado num DFA.

Exemplos.

Secção 1.2 do Sipser

3 Outubro 2018, 08:00 • André Souto

Resolução de exercícios da folha nº2 referentes a autómatos finitos deterministas.

2 Outubro 2018, 11:00 • Andreia Mordido

Resolução de exercícios da folha nº2 referentes a autómatos finitos deterministas.

2 Outubro 2018, 10:30 • André Souto

Resolução de exercícios da folha nº2 referentes a autómatos finitos deterministas.

2 Outubro 2018, 09:30 • André Souto

Noção de linguagem regular.

Operações regulares sobre linguagens.

Prova que a reunião e intersecção são operações regulares.

Motivação pela operação de fecho de Kleene do não determinismo.

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

Diferenças entre DFA e NDFA.

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

Exemplos.

Definição formal de NDFA.

Secção 1.2 do Sipser.