斯特凡·格勒;马库斯·洛伊 地树重写图的一阶理论。 （英语） Zbl 1325.68121号 日志。方法计算。科学。 10，第1号，第7号论文，33页（2014年）. 摘要：我们证明了地树重写图的一致一阶理论的复杂性为（{mathrm{ATIME}}（2^{2^{text{poly}（n）}}，O（n））。提供一个匹配的下界，我们证明了存在一些固定地树重写图，它的一阶理论对于对数空间约简（{mathrm{ATIME}}（2^{2^{text{poly}（n）}}，text{poly}（n））是困难的。最后，我们证明了存在一个固定地树重写图和一个正则树语言形式的一元谓词，从而得到的结构具有非初等一阶理论。 引用于1文件 理学硕士： 第68季度第42季度 语法和重写系统 05年3月 与逻辑问题相关的自动机和形式文法 2015年3月15日 计算复杂性（包括隐式计算复杂性） 2015年第68季度 复杂性类（层次结构、复杂性类之间的关系等） 2017年第68季度 问题的计算难度（下限、完备性、近似难度等） 65年第68季度 算法和问题复杂性分析 关键词：地树重写;一阶理论的复杂性;交替复杂性类 PDF格式BibTeX公司 XML格式引用 \textit{S.Göller}和\textit{M.Lohrey}，Log。方法计算。科学。10，第1号，第7号论文，33页（2014；Zbl 1325.68121） 全文： 内政部