PDAをCFGに変換するためのツール

すべてのプッシュダウンオートマトンは、コンテキストフリーの文法を使用して表現できることを知っています。さらに、任意のPDAからCFGを構築するアルゴリズムがあります（たとえば、計算理論入門のSipserの証明）。

この翻訳を行うツールはありますか？つまり、遷移関数のセットを入れると、同等のCFGが返されます。

jflapは非常に優れており、これを実行できます。ここを参照してください：http : //www.cs.duke.edu/csed/jflap/。