(s3; 1; b) -> (s3; b1) Kann man Kellerzeichen im Keller tauschen?

Question

Hallo,

ich dachte, man könne Kellerzeichen nicht tauschen, da der Keller ja nach dem LIFO Prinzip funktioniert und ich doch eigentlich auch nur das oberste Kellerzeichen lesen kann. (Es geht um den zweiten Zustand von unten) Ist das doch möglich? Wenn nein, ist dann auch die Ableitung des Testwortes falsch?

Vielen Dank

Answer 1

Man kann nur das oberste Kellerzeichen lesen und dann durch ein beliebiges Wort $\in K^*$ ersetzen.

Bei $(s_3,1,b) \rightarrow (s_3,b1)$ werden nicht die obersten zwei Kellerzeichen getauscht, sondern nur das oberste Kellerzeichen $b$ durch $b1$ ersetzt. Diese Überführung ist also erlaubt und somit ist auch die Ableitung des Testwortes korrekt.

Viele Grüße

Philipp (Tutor)