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.
Antworten:
jflap ist ziemlich nett und kann das. Siehe hier: http://www.cs.duke.edu/csed/jflap/ .
quelle