Start - Kara geht auf das erste Kleeblatt des Minuenden und wechselt dann in den
Zustand Lücke_vorwärts
Lücke_vorwärts - Kara durchläuft vorwärts den Minuenden und sucht die Lücke.
Nach Erreichen der Lücke geht Kara auf das (vermeintlich) erste Kleeblatt des Subtrahenden
und wechselt in den Zustand prüfen_vorwärts.
prüfen_vorwärts - Liegt kein Kleeblatt unter Kara, so ist der Subtrahend völlig
abgearbeitet und Kara macht Schluss.
Subtrahend - Der Subtrahend wird vorwärts durchlaufen. Am Ende dreht sich Kara um,
geht einen Schritt vor, nimmt ein Kleeblatt auf, geht einen Schritt vor und wechselt
in den Zustand Lücke_rückwärts.
Lücke_rückwärts - Kara durchläuft rückwärts den Subtrahenden und sucht die Lücke.
Nach Erreichen der Lücke geht Kara auf das (vermeintlich) erste Kleeblatt des Minuenden
und wechselt in den Zustand prüfen_rückwärts.
prüfen_rückwärts - Liegt kein Kleeblatt unter Kara, so ist der Minuend leer, obwohl
noch etwas abzuziehen wäre. In diesem Fall zeigt Kara durch dauerndes Drehen (bleibt im
Zustands prüfen_rückwärts) seine Ratlosigkeit. Liegt ein Kleeblatt unter Kara, so
wechselt er in den Zustand Minuend.
Minuend - Der Minuend wird rückwärts durchlaufen. Am Ende dreht sich Kara um, geht
einen Schritt vor, nimmt ein Kleeblatt auf, geht einen Schritt vor und wechselt in den
Zustand Lücke_vorwärts.