借助有限有向图表示上下文无关文法
形式语言与自动机理论
2013-05-30 v1
摘要
对于任意上下文无关文法，我们构建一个转移图，即一个带有标记弧的有限有向图，用以描述该文法的工作机制。这一方法是全新的，且不同于以往已知的图模型。我们在该转移图中定义了 Proper Walk（合规行走）的概念，并证明：一个词属于给定的上下文无关语言，当且仅当该词可通过一次 Proper Walk 获得。
引用
@article{arxiv.1305.6803,
title = {A representation of context-free grammars with the help of finite digraphs},
author = {Krasimir Yordzhev},
journal= {arXiv preprint arXiv:1305.6803},
year = {2013}
}
备注
4 figures