Verständnis von s2-Übergängen

Question

Hallo

Kann mir jemand erklären für was die letzten beiden Zustandsüberführungen gut sind. 

(s2,c,a)-->(s2,lamda)

(s2,c,b)-->(s2,lamda)

 

Answer 1

Hallo uvlpj,

 

diese Zustandsüberführungen entleren den Keller.

Mit δ(s1, c, a) = (s2, λ) und δ(s1, c, b) = (s2, λ) erkennt das Automat, dass genau die Hälfte des Wörtes bearbeitet wurde und löscht das letzte im Keller gelegte Zeichen und die erste c. Mit der von dir genannte Zustandsüberführungen werden alle Weitere Zeichen gelöscht. Nur wenn das Wort fertig bearbeitet wurde und gleichzeitig den Keller leer ist, wird das Wort akzeptiert.

Viele Grüße,

 

Natalie (Tutorin)