Beispiel:

A soll durch 3 teilbare Dualzahlen erkennen.

S = {r₀,r₁,r₂}
= {}
Startzustand ist r₀
F = {r₀}

Die Knoten r₀ , r₁ und r₂ 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: