Informatik zum Jahresanfang

[Gunnar Bittersmann]

@@Gunnar Bittersmann

Das Bild zeigt einen endlichen Automaten, der sich bei der Eingabe einer Ziffernfolge nur dann im Endzustand (dargestellt durch doppelte Linie) befindet, wenn die dadurch eingegebene Zahl durch 2 teilbar ist. (Führende Nullen sollen erlaubt sein.)

Erklärung, wie das zu verstehen ist; am Beispiel von 9876:

Der Automat ist anfangs im Zustand s₁; das ist kein Endzustand.

Durch Eingabe einer 9 bleibt der Automat im Zustand s₁. Kein Endzustand; 9 ist nicht durch 2 teilbar.

Durch Eingabe einer 8 geht der Automat in den Zustand s₂. Das ist ein Endzustand; 98 ist durch 2 teilbar.

Durch Eingabe einer 7 geht der Automat wieder in den Zustand s₁. (Das kann er tun. Endzustand heißt, dass der Automat am Ende in dem Zustand sein kann; nicht aber, das er den Zustand nicht wieder verlassen kann, wenn er sich zwischendurch darin befindet.) s₁ ist kein Endzustand; 987 nicht durch 2 teilbar.

Durch Eingabe einer 6 geht der Automat wieder in den Zustand s₂. Endzustand; 9876 ist durch 2 teilbar.

LLAP 🖖