Equivalência de NDFA e DFA

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