Aufgabe 5 Kellerautomat Heim
Hallo,
ich wollte fragen ob folgenden Lösung möglich wäre:
(S0, λ, k0) -> (Se, k0) //könnte man auch sparen wenn S0 Endzustand
(S0, 0, k0) -> (S1, 0k0) //Fall |u| = n
(S0, 0, k0) -> (S2, 00k0) //Fall |u| = 2n
(S1, 0, 0) -> (S2, 00)
(S1, 0, 0) -> (S2, λ)
(S1, 1, 0) -> (S2, λ)
(S1, λ, k0) -> (Se, k0)
(S2, 0, 0) -> (S2, 000) //hier werden 2 Zeichen pro eingelesener Null auf den Keller gelegt, sodass diese wieder schritt für Schritt abgearbeitet werden -> |u| = 2n
(S2, 0, 0) -> (S2, λ)
(S2, 1, 0) -> (S2, λ)
(S2, λ, k0) -> (Se, k0)
Se ist der Endzustand.
Vielen Dank und schöne Weihnachten