无星语言是Church-Rosser相合的
摘要：Church-Rosser同余语言类是由McNaughton，Narendran和Otto于1988年引入的。如果语言L是Church-Rosser同余的（属于CRCL），那么存在一个有限的、可交换的并且长度缩减的半-Thue系统S，使得L是模S的同余类的有限并集。迄今为止，尚不清楚每个正则语言是否属于CRCL。在本文中，我们证明了每个无星形语言都属于CRCL。事实上，我们证明了一个更强的结论：对于每个无星形语言L，存在一个有限的、可交换的并且子词缩减的半-Thue系统S，使得模S的同余类的总数是有限的，并且L是模S的同余类的并集。这种构造是有效的。
作者：Volker Diekert, Manfred Kufleitner, Pascal Weil (LaBRI)
论文ID：1111.4300
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2012-08-28