Weg zum minimalen DEA

2 Schritte

1. Eliminieren von Zuständen die nicht erreichbar sind. ⇒ erreichbarer Zustand
2. Zusammenfassen äquivalenter Zustände.

1. Nur erreichbare Zustände

$A_0=(Q_0,\Sigma ,q_s,{\delta }_0{F}_0)$
$Q_0=\{q\in Q|q\text{ ist erreichbar}\}$
${\delta }_0:Q_0\times \Sigma ⟶Q_0:(q,a)⟶\delta (q,a)$
$F_0=F\cap Q_0$

2. Zusammenfassen äquivalenter Zuständ

• Äquivalenz von Zuständen

• Der Quotientenautomat

Reduzierter Automat

Beispiel