摘要：对于任何上下文无关文法，我们构建一个过渡图，即一个有标记弧的有限有向图，描述文法的工作。这种方法是新的，与先前已知的图模型不同。我们在这个过渡图中定义了正确行走的概念，并证明了一个词属于给定的上下文无关语言，当且仅当这个词可以通过正确行走获得。
作者：Krasimir Yordzhev
论文ID：1305.6803
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2013-05-30
PDF 下载： 英文版 中文版pdf翻译中