Ereignisdiskrete Systeme, 3rd Edition

${\tilde{\mathcal{Z}}}_F=\left\{\tilde{z}|\tilde{z}\cap {\mathcal{Z}}_F\ne \cancel{0}\right\}.\left(4.32\right)$

Algorithmus 4.1 Bildung eines äquivalenten deterministischen Automaten für einen nichtdeterministischen Automaten
Gegeben:	Nichtdeterministischer Automat $\mathcal{N}$ = (Z, Σi,Δ, Z0, ZF)
Initialisierung:	Schleife: Untersuche alle Zustände z in den Schritten 1 und 2:
1.	Bestimme für alle σ ∈ Σ die Menge ${\tilde{z}}^{\text{'}}=\left\{z^{\text{'}}\right|z^{\text{'}},z,\sigma )\in \Delta \text{fur}\text{ein}\text{z}\in \text{ <mover accent="true"> z <mo>˜</mo> </mover> }}$
	und setze $\backslash \tilde{\delta }\left(\tilde{z},\sigma \right)={\tilde{z}}^{\prime }$.
2.	Wenn $\tilde{\mathcal{Z}}$′ noch nicht zur Menge $\tilde{\mathcal{Z}}$ gehört, erweitere die Menge um diesen Zustand: $\sout{\tilde{Z}}:=\sout{\tilde{Z}}\cup \left\{{\tilde{z}}^{\prime }\right\}$
3.	Setze ${\tilde{\mathcal{Z}}}_F=\left\{\tilde{z}\in \tilde{\mathcal{Z}}|\tilde{z}\cap {\mathcal{Z}}_F\ne \cancel{0}\right\}$
Ergebnis:	Deterministischer Automat .

Beispiel 4.3 (Forts.)Deterministischer Akzeptor für Wörter ...