 |
|||
| HSG |
|
Dreiertester
Es soll ein Automat konstruiert werden, der eine Dezimalzahl Ziffer für Ziffer von links her untersucht und angibt, welcher Rest sich bei der Division der bisher gelesenen Zahl durch 3 ergibt.
Durch Hinzunahme einer weiteren Ziffer z ensteht aus der alten Zahl zahl eine neue Zahl zahl*10 + z . War zahl mod 3 = 0, so gilt (zahl*10+z) mod 3 = z mod 3. Zur Ermittlung des Folgezustands muss also nur z betrachtet werden.
Befindet sich der Automat im Zustand r1, so muss man 1*10+z betrachten.
Die Übergänge aus Zustand r2 ermittelt man analog.