prev up next

Previous: Feld von Zuständen Up: Feld von Zuständen Next: Lineare und binäre Suche

Beispiel:

$A$ soll durch $3$ teilbare Dualzahlen erkennen.
$S = \{ r_{0}, r_{1}, r_{2} \} $
$\Sigma = \{\mbox{\tt '0', '1'}\}$
Startzustand ist $r_{0}$
$F=\{ r_{0}\}$
Die Knoten $r_0$, $r_1$ und $r_2$ charakterisieren die Zustände, wenn der Rest der Division durch 3 0, 1 bzw. 2 beträgt. An der Kante steht das jeweils vorderste Bit der Dualzahl, die von links nach rechts abgearbeitet wird.


Source: Automat.java     JavaDoc: Automat.html     Applet:
prev up next
Previous: Feld von Zuständen Up: Feld von Zuständen Next: Lineare und binäre Suche