摘要：正则可分离性的半决定程序：一项适用于上下文无关语言重叠分析的有效的半决定程序的探讨
作者：Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Sondergaard, Peter J. Stuckey
论文ID：1411.5131
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2014-11-20
PDF 下载： 英文版 中文版pdf翻译中