Übergangsgraphen eines endlichen Automaten angeben.

Question

Geben Sie den Übergangsgraphen eines endlichen Automaten M an, dessen akzeptierte Sprache alle durch vier teilbaren Binärzählen (ohne führende Nullen) sind.

Answer 1

Idee: Alle durch 4 teilbaren Binärzahlen haben immer zwei 0 hinten. Also 100, 1100,...

Sei z0 unser Startzustand und z_ende unser Endzustand (hab die Zustände geklammert, nicht das du sie mit den Zahlen verwechselst):

z0 -> 1(z1) | 0(z0)

z1 -> 1(z1) |0(z2)

z2 -> 0(z_ende) | 1(z1)

z_ende -> 0(z_ende) | 1(z1)

Bestimmt ist der noch nicht minimal, aber ich hoffe, dass es dir trotzdem weiterhilft:)