Seite 1 von 1

Unterschied Vorlesung-PDA zu Kozen-PDA

BeitragVerfasst: 06 Jan 2014, 19:59
von PeterW
Guten Abend,

Ich hätte eine Frage zu der Ableitungsregel eines PDA.
Als Beispiel betrachte ich die Aufgabe 9.15 a) unseres aktuellen Übungsblattes:

Hier steht folgende Transition:
(a, T) -> a (natürlich: T = umgedrehtes T)

Meine Frage hierzu:
Kozen löscht hier nun das T und legt ein a darauf, sodass der Stack lediglich noch aus a besteht.
Ist dies bei unserem PDA ebenso der Fall oder bleibt hier das T, wodurch der Stack folgendes Aussehen hätte: aT .

Mit freundlichen Grüßen
Peter

Re: Unterschied Vorlesung-PDA zu Kozen-PDA

BeitragVerfasst: 07 Jan 2014, 15:17
von Dominik.Kirst
Hallo Peter,

auch in unserer Formulierung des PDA wird bei jeder Transition zwingend das oberste Zeichen des Stacks gelöscht. Im Unterschied zu Kozen fehlen uns bis jetzt lediglich Zustände und unsere Schreibweise für Transitionen und Konfigurationen weicht ein wenig ab.

Liebe Grüße,
Dominik