0 Daumen
842 Aufrufe

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

Avatar von

1 Antwort

+1 Daumen

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:)

Avatar von

Ein anderes Problem?

Stell deine Frage

Willkommen bei der Stacklounge! Stell deine Frage einfach und kostenlos

x
Made by a lovely community