确定一个正则语言是否由剪接系统生成
摘要：剪接作为一种二进制的单词/语言操作，受到了限制酶和连接酶下的DNA重组的启发，于1987年首次由Tom Head引入。不久之后，证明了由（有限的）剪接系统生成的语言形成了正则语言类的一个恰当的子类。然而，关于是否可以判断给定的正则语言是否由一个剪接系统生成的问题仍然未解决。在本文中，我们对这个问题给出了一个肯定的答案。也就是说，我们证明了，如果一个语言是由一个剪接系统生成的，那么它也可以由一个剪接系统生成，其大小是输入语言的语法幺半群大小的函数，并且可以有效地构造。
作者：Lila Kari, Steffen Kopecki
论文ID：1112.4897
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2012-08-31