Informatik

Sind DFA und NFA gleich mächtig?

Ja. DFA und NFA erkennen genau die regulären Sprachen.

Jeder NFA kann per Potenzmengenkonstruktion in einen äquivalenten DFA umgewandelt werden, ggf. mit exponentiell vielen Zuständen.

Idee der Potenzmengenkonstruktion

nfa NFA-Zustandsmenge {q0,q1,q2} d0 DFA-Zustand {q0} nfa->d0 Startmenge d1 DFA-Zustand {q1,q2} d0->d1 a d2 DFA-Zustand {} d1->d2 b