摘要：将推动自动机（PDA）转换为上下文无关文法（CFG）的备选过程的证明。该过程涉及中间转换为单状态PDA。根据作者的观点，这种转换在概念上直观，并且可作为相关主题的教学辅助。
作者：Arjun Bhardwaj and N.S. Narayanaswamy
论文ID：1411.0813
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2014-11-05
PDF 下载： 英文版 中文版pdf翻译中