正则语言通过子序列和后缀的高效可分离性
摘要：何时两个普通字符语言K和L可以通过一个简单语言分开？我们研究了这个问题，并考虑了由分段测试语言和后缀测试语言以及其变体进行分离。我们给出了两个语言可以分开的特征描述，并概述了如果K和L由非确定有限自动机给出时，这些问题何时可以在多项式时间内决定。
作者：Wojciech Czerwi''nski and Wim Martens and Tom''av{s} Masopust
论文ID：1303.0966
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2013-03-06