有限指标文法及其限制
摘要：线性索引语法生成的语言家族L(INDLIN)已在文献中进行了研究。已知L(INDLIN)中每个语言的帕里克图像是半线性的。然而，存在一些有界半线性语言不属于L(INDLIN)。在这里，我们将研究更大的（受限制的）索引语言家族及其性质、关系和可判定性属性。
作者：Flavio D'Alessandro, Oscar H. Ibarra, Ian McQuillan
论文ID：1610.06366
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2022-12-08