摘要:循环闭包的合并和其扩展到由Brandst"adt引入的操作符$C^k$进行考虑。我们证明了一个索引语言的循环闭包是索引的,并且如果$L$是一个上下文无关语言,则$C^k(L)$是索引的。
作者:Tara Brough, Laura Ciobanu and Murray Elder
论文ID:1412.5512
分类:Formal Languages and Automata Theory
分类简称:cs.FL
提交时间:2015-01-06
PDF 下载: 英文版 中文版pdf翻译中