Verständnisproblem

Question

Das u' ist doch die Spiegelung von u oder?

Bedeutet (s0,Dollar,a) -> (s1,a), dass noch ein weiteres a in den Keller geschrieben wird?

Oder bleibt der Keller trotz des Hinzufügens von Dollar unverändert?

Comments

ja u' ist die Spiegelung aabb --> bbaa

aktuell fügst du deinem Keller Garnichts hinzu. (s0, Doller, a) dieses a ist der aktuell oberste Buchstabe im Keller, diese a wird in diesem Moment sozusagen aus dem Keller genommen. Wenn du nun zu (s1, a) übergehst schreibst du das "alte" a wieder in den Keller. Sprich der Keller hat sich nach diesem Vorgang nicht verändert (da du nur das a herausgenommen hast und es dann direkt wieder rein gelegt hast), nur der Zustand ist von s0 zu s1 gewechselt.

Mochtest du das ganze Wort Doller in den Keller reinlegen müsstest du -> (s1, Doller(a)) schreiben je nachdem ob du auch a wieder im Keller haben möchtest(;

Answer 1

Hallo uxgzf,

wie uqysn schon festgestellt hat, wir bei dem Zustandsübergang von (s0, $, a) → (s1,a) nur der Zustand gewechselt (von s0 in s1). Dies ist nötig, da nach dem $ überprüft werden muss, ob tatsächlich eine Spiegelung des Abschnitts vor dem $ vorliegt.

Die Sprache L = { w ∈ {a,b,$} | w = u$u', u ∈ {a,b}} besteht ja gerade aus Wörtern, deren Abschnitt u nach der Mitte des Wortes (gekennzeichnet durch $) nochmals gespiegelt als u' geschrieben wird.

Viele Grüße,

Dominik (Tutor)