Scifaro

中文

论有限索引的索引文法及其限制

形式语言与自动机理论 2022-12-08 v4

作者: Flavio D'Alessandro , Oscar H. Ibarra , Ian McQuillan

在 arXiv 上查看 ↗ PDF ↗ DOI ↗

摘要

文献中已对线性索引文法生成的语言族 L(INDLIN) 进行了研究。已知 L(INDLIN) 中每种语言的 Parikh 像都是半线性的。然而，存在不属于 L(INDLIN) 的有界半线性语言。本文考察更大的（受限制的）索引语言族，并研究其性质、相互关系及可判定性。

关键词

索引文法有限索引线性索引语言 Parikh 像半线性语言可判定性形式语言理论

引用

@article{arxiv.1610.06366,
  title  = {On Finite-Index Indexed Grammars and Their Restrictions},
  author = {Flavio D'Alessandro and Oscar H. Ibarra and Ian McQuillan},
  journal= {arXiv preprint arXiv:1610.06366},
  year   = {2022}
}

备注

16 pages, latest version