Die Anfrage
“Ein DFA über {0, 1}, der durch 3 teilbare Binärzahlen akzeptiert. Die Zustände q0, q1 und q2 verfolgen den Rest; q0 ist der Start- und akzeptierende Zustand.”
Dann probieren SieAuf Teilbarkeit durch 5 ändernDie Zustände nach ihrem Rest benennen
Was diese Zeichnung zeigt
Die dahinterstehenden Entscheidungen verstehen.
01
Die Zustände stellen den Rest modulo 3 (0, 1, 2) dar.
02Übergänge
Bei 0 gilt Zustand = (state*2) % 3; bei 1 gilt Zustand = (state*2+1) % 3.
03
Der akzeptierende Zustand ist q0 (Rest 0), gekennzeichnet durch eine Notiz.
Zur Modellierung endlicher Automaten, die reguläre Sprachen anhand numerischer Modulo-Eigenschaften akzeptieren.