Beispiel:

A soll durch 3 teilbare Dualzahlen erkennen.

S = {r₀, r₁, r₂}
= { '0', '1'}
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: