摘要：决定一个上下文无关语言是否是一个群语言的子集的问题。给出了测试一个正规语言或线性语言是否包含在群语言中的多项式算法。构建了一些有限集合，当且仅当相应的上下文无关语言包含在群语言中时，每个集合都包含在群语言L(G)中。
作者：Krasimir Yordzhev
论文ID：1312.0190
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2013-12-03
PDF 下载： 英文版 中文版pdf翻译中