上下文无关和索引语言的排列

摘要:循环闭包的合并和其扩展到由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翻译中