PDA作为形式系统最早于1961年 出现在Oettinger的论文中。 与上下文无关文法的等价性由 Chomsky-于1962年发现。PDA作为形式系统最早于1961年 出现在 Oettinger 的论文中。 与上下文无关文法的等价性由 Chomsky于1962年发现