Autómatos finitos não 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.