Beispiel 2.3

[willi.m]

Mmein Vorschlag

[bsoykal]

ja soll es wie deiner ausschauen :)

[schrankk]

ne kurze Frage, ob nicht vor und nach {abc} den Operator nicht *, sondern + sein sollte? Da in der Aufgabe ist einen NEA ohne Leerwort gegeben, und da DEA äquivalent sein sollte, akzeptiert er kein Leerwort vielleicht auch?

[Fresh Prince]

Mmein Vorschlag

Die Tabelle ist richtig und ich habe ebenfalls den selben DEA. Wie schaut es mit der akzeptierten Sprache aus
Nur {abc}* ?

[Silent_Bob]

@ willi.m

Meine Lösung stimmt mit deiner überein...bis auf einen Punkt
In der letzten Zeile diener Tabelle hast du beim Übergang von
c aus {q0,q2,q3} in {q0,q1}.

Ich denke es muß {q0,q3} heißen, da beim einlesen von c im NEA nicht der zustand q1 erreicht wird.

mfg tom

edit: bei der zeichnung des Automaten stimmt es eh, nur bei der Tabelle nicht.

[Fresh Prince]

@ willi.m

Meine Lösung stimmt mit deiner überein...bis auf einen Punkt
In der letzten Zeile diener Tabelle hast du beim Übergang von
c aus {q0,q2,q3} in {q0,q1}.

Ich denke es muß {q0,q3} heißen, da beim einlesen von c im NEA nicht der zustand q1 erreicht wird.

mfg tom

edit: bei der zeichnung des Automaten stimmt es eh, nur bei der Tabelle nicht.

Stimmt ich habe auch {q0,q3}

[rgta]

glaub das is einfach nur ein sehr schlampiger 3er ;)

[krissi]

ich hätte kurz eine Frage. Ich habe das mit den Tabellen und alles genau gleich nur versteh ich nicht wieso auf einmal {q0,q3} {q0,q1,q3}{q0,q2,q3} die neuen endzustände sind. wäre nett wenn mir das wer erklären könnte

[Fresh Prince]

Ich erkläre es kurz und einfach, in der Angabe ist bereits der Anfangszustand und Endzustand des Automaten gegeben. Also überall dort wo Q3 vorkommt muss ein Endzustand existieren.

[krissi]

achso, ok. eigentlich sehr logisch. danke für die hilfe :)