阿尔特·米德尔多普;富山,吉藤义彦 建造系统组合的完整性。 (英语) 兹比尔0778.68050 J.塞姆。计算。 15,第3期,331-348(1993). 摘要:如果一个术语重写系统同时是合流的和强正规化的,则称其为完全重写系统。H.P.巴伦德雷格特和J.W.Klop表明完全项重写系统的不相交并集不需要是完全的。换句话说,完整性不是术语重写系统的模块化属性。Y.富山,J.W.Klop和H.P.巴伦德雷格特[Lect.Notes Compute.Sci.355,477-491(1989)]表明,完备性是左线性项重写系统的一个模块属性。我们证明,为了获得完备性的模块性,强加构造函数规则就足够了。这个结果是一个非常强大的分治技术的简单结果,该技术用于建立此类构造函数系统的完整性。我们的方法不限于由不相交部分组成的系统。我们的方法的重要性在于,我们可以将给定的构造函数系统分解为可能共享函数符号和重写规则的部分,以便推断完整性。我们获得了一种类似的半完备性技术,即合流和弱正规化的组合。 引用于1审查引用于16文件 理学硕士: 2012年第68季度 语法和重写系统 关键词:完整性的模块化 PDF格式BibTeX公司 XML格式引用 \textit{A.Middeldorp}和\textit{Y.Toyama},J.Symb。计算。15,第3号,331--348(1993;Zbl 0778.68050) 全文: 内政部 链接