龙马仙达;吉崎隆田;弘久世奇（Hiroyuki Seki） 寄存器上下文无关文法和寄存器树自动机的复杂性。 （英语） 兹比尔1518.68161 Fischer，Bernd（ed.）等人，《计算的理论方面——2018年ICTAC》。2018年10月16日至19日，第十五届国际学术讨论会，南非斯特伦博什。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11187, 415-434 (2018). 摘要：寄存器上下文无关语法（RCFG）和寄存器树自动机（RTA）分别是上下文无关语法和树自动机的扩展，用于以受限的方式处理数据值。RTA作为结构化文档（如带有数据值的XML）的查询语言模型受到了关注。本文研究了RCFG和RTA基本决策问题的计算复杂性。我们证明了RCFG的成员关系和空性问题是EXPTIME-完全的，并说明了如何通过引入RCFG子类来降低复杂性。RTA的这些问题的复杂性还显示为NP-完成和EXPTIME-完成。关于整个系列，请参见[Zbl 1398.68027号]. 引用于4文件 MSC公司： 2012年第68季度 语法和重写系统 2017年第68季度 问题的计算难度（下限、完备性、近似难度等） 65年第68季度 形式语言和自动机 PDF格式BibTeX公司 XML格式引用 \textit{R.Senda}等人，Lect。注释计算。科学。11187、415--434（2018年；Zbl 1518.68161） 全文： DOI程序