Informatik

Wann sind zwei DFA-Zustände äquivalent?

Zwei Zustände $p$ und $q$ sind äquivalent, wenn für jedes Eingabewort $w$ beide Läufe ab $p$ und $q$ entweder akzeptieren oder beide verwerfen.

Nichtäquivalente Zustände müssen im minimalen DFA getrennt bleiben.