剪接系统与乔姆斯基层次结构
摘要：循环切割系统生成的语言在Chomsky层次结构中的位置的可决定性属性和新结果被证明在本文中。本文的两个主要结果是：首先，我们证明了给定一个循环切割语言和一个正则语言，判断它们是否相等是可决定的。其次，我们证明了一个字母切割系统生成的语言是上下文无关的。字母切割系统是对已经在文献中考虑的简单和半简单切割系统的推广。
作者：Jean Berstel, Luc Boasson and Isabelle Fagnot
论文ID：1102.0947
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2011-02-07