prev up next


Previous: Feld von Indizes Up: Felder Next: Beispiel:

Feld von Zuständen

Ein endlicher Automat A ist ein 5-Tupel A = (S,$\Sigma$,$\delta$,s0,F) mit
S = endliche Zustandsmenge
$\Sigma$ = endliches Eingabealphabet
$\delta$ : S × $\Sigma$ $\rightarrow$ S = Überführungsfunktion
s0 $\in$ S = Anfangs- oder Startzustand
F $\subseteq$ S = Endzustände
Ein Wort w  $\in$ $\Sigma^{*}_{}$ wird akzeptiert, falls
$\delta^{*}_{}$(s0,w) $\in$ F
$\delta^{*}_{}$(s0,x0x1x2...xk) = $\delta$(...$\delta$($\delta$($\delta$(s0,x0),x1),x2)...xk) .
Die Wirkungsweise der Überführungsfunktion $\delta$ kann durch einen Zustandsüberführungsgraphen beschrieben werden. In diesem Graphen führt eine mit x beschriftete Kante von Knoten a zu Knoten b , falls gilt: $\delta$(a,x) = b .




prev up next
Previous: Feld von Indizes Up: Felder Next: Beispiel: