Aufgabe 46 / alternative Lösung

Question

Hallo,

da in der Lösung nur ein Kellerautomat gegeben ist der den Keller nicht benutzt, wollte ich festellen ob meine Lösung ebenfalls richtig ist?

Hier meine Lösung:

A=({a,b},{S0,S1,S2},{K0,a,b},delta,S0,K0,{Se})

delta:

(S0,b,K0) -> (S1,bK0)

(S0,a,K0) -> (S1,aK0)

(S1,b,bK0) -> (S0,lambda)

(S1,a,aK0) -> (S2, lambda)

(S2,b,K0) -> (Se, lambda)

Vielen Dank im Voraus!

Answer 1

Hallo uuiya,

deine Lösung ist auch richtig :)
Nur drei kleine Anmerkungen:
1. Auf der linken Seite steht als drittes Zeichen immer nur ein Zeichen (das oberste Kellerzeichen) also zB in der dritten Zeile anstatt (S1,b,bK0) einfach (S1,b,b)

2. in der letzten Zeile löschst du das oberste Kellerzeichen, obwohl dein Keller leer ist. Die Zeile sollte also 
(S2,b,K0) -> (Se,K0) lauten

3. Bei der Definition deines Kellerautomaten A fehlt das Se bei deiner Zustandsmenge

Ansonsten ist deine Idee richtig und du benötigst einen Zustand weniger als die Musterlösung (also eine der Umsetzungen, welche in den Anmerkungen erwähnt werden)

Viele Grüße
Anne (Tutorin)

Comments

Hallo Anne,
ich habe endlich Zeit gefunden, die Aufgabe zu überarbeiten.

Vielen Dank für deine Antwort!