Wir wissen, dass alle Push-Down-Automaten mit kontextfreien Grammatiken darstellbar sind. Darüber hinaus gibt es einen Algorithmus zum Erstellen eines CFG aus einem beliebigen PDA (z. B. Sipsers Beweis im Intro zur Theorie der Berechnung).
Gibt es Tools für diese Übersetzung? Das heißt, ich kann eine Reihe von Übergangsfunktionen eingeben und es wird eine äquivalente CFG zurückgegeben.
1
komisch. Normalerweise will man umgekehrt :)
—
Suresh Venkat
mmm. Ich würde diesen Beweis Chomsky, Evey und Schützenberger zuschreiben.
—
Hendrik