Verständnis zur Angabe des Testworts

Question

Hallo,

warum wird denn bei der Angabe des Testwortes im Zustand s1 zwar ein a geschrieben, aber gleichzeitig eine 0 aus dem Keller rausgestrichen, also zB.: (so,111111,00ko)==>(s1,1111,a0ko)?

Danke

 

Answer 1

Hallo,

die Schreibweise (s,e,k) --> (s',v) bedeutet i.A., dass k ersetzt wird durch v wobei das linkeste Zeichen von v das oberste Kellerzeichen ist (vgl. Folie 3-6). Wenn also die a's lediglich auf die 0er draufgeschrieben werden würden, dann würde der Übergang wiefolgt aussehen:

(s1,1,0) --> (s1,a0)

Da aber in der Aufgabe nur (s1,a) da steht, bedeutet das, dass die 0 im Keller durch ein a ersetzt wird statt durch a0.

Viele Grüße,

Vivian (Tutor)