塞尔吉奥·安托伊;阿尔特·米德尔多普 顺序还原策略。 （英语） Zbl 0872.68080号 西奥。计算。科学。 165，第1号，75-95（1996）. 总结：Kennaway证明了一个显著的结果，即每个（几乎）正交项重写系统都允许一个可计算的序列归一化约简策略。我们提出了一种范围类似但更简单、更通用的可计算顺序约简策略。我们的策略可以被认为是一种最为公平的策略，当收缩赎回对术语的正常化毫无用处时，允许它对某些术语的赎回不公平。与Kennaway的策略不同，我们的策略不依赖于暗示合流的句法限制。相反，它可以很容易地应用于任何项重写系统，并且我们证明了我们的策略适当规范化的一类项重写系统包括所有（几乎）正交系统。我们的战略更加多样化；在（几乎）正交项重写系统的情况下，它可以用于检测某些非终止情况。我们的规范化证明比Kennaway的更容易获得。我们还表明，在并行最外层策略失败的情况下，我们的顺序策略有时会成功。 引用于5文件 理学硕士： 2012年第68季度 语法和重写系统 PDF格式BibTeX公司 XML格式引用 \textit{S.Antoy}和\textit{A.Middeldorp}，Theor。计算。科学。165，编号1，75--95（1996；Zbl 0872.68080） 全文： 内政部 参考文献： [1] Bergstra，J.A。；Klop，J.W.，《条件重写规则：合流与终止》，J.Compute。系统科学。，32, 323-362 (1986) ·Zbl 0658.68031号 [2] Comon，H.，《序列性，二阶一元逻辑和树自动机》，（第十届IEEE计算机科学逻辑研讨会，第十届计算机科学逻辑IEEE研讨会，圣地亚哥（1995）），508-517·Zbl 0939.68681号 [3] 北卡罗来纳州德肖维茨。；Jouannaud，J.-P.，《重写系统》（van Leeuwen，J.，《理论计算机科学手册》，第B卷（1990），北荷兰：北荷兰阿姆斯特丹），243-320·Zbl 0900.68283号 [4] Huet，G。；Lévy，J.-J.，非模糊线性项重写系统中的按需调用计算（报告359（1979）），早期版本： [5] Kennaway，J.R.，《并行指令和相关约简系统的顺序评估策略》，《Ann.Pure Appl。逻辑，43，31-56（1989）·Zbl 0684.68043号 [6] Klop，J.W.，《组合约简系统》，（《数学中心论》，《数学中心论题》，博士论文，第127卷（1980年），数学和计算机科学中心：阿姆斯特丹数学和计算机科技中心）·Zbl 0466.03006号 [7] Klop，J.W.，术语重写系统，（Abramsky，S.；Gabbay，D.；Maibaum，T.，《计算机科学逻辑手册》，第二卷（1992），牛津大学出版社：牛津大学出版社），1-116·Zbl 0806.68003号 [8] O'Donnell，M.J.，《方程描述的系统中的计算》，计算机科学讲义，第58卷（1977年）·Zbl 0421.68038号 [9] van Oostrom，V.，《抽象与高阶重写的融合》（博士论文（1994），阿姆斯特丹Vrije大学 [10] Oyamaguchi，M.，《NV-连续性：项重写系统中按需调用计算的可判定条件》，SIAM J.Compute。，22, 114-135 (1993) ·Zbl 0766.68069号 [11] 波拉特，S。；Francez，N.，术语重写系统中的公平性，方法逻辑计算。科学。，141-181（1994年） [12] van Raamsdonk，F.，《关于正常化战略》， （Proc.2nd Internat.高阶代数、逻辑和术语重写研讨会。Proc.2rd Internat.高阶代数、逻辑学和术语重写讲习班，Paderborn。Proc.2 Internat.高等代数、逻辑与术语重写研讨会，Paderborn，Lectur《计算机科学笔记》（1995），即将出版 [13] 塞卡尔共和国。；Ramakrishnan，I.V.，《等式逻辑中的编程：超越强顺序性》，《信息》。计算。，104, 78-109 (1993) ·Zbl 0803.68060号 [14] Toyama，Y.，《左线性重叠项重写系统的强序列性》，（第七届IEEE计算机科学逻辑交响曲，第七届计算机科学逻辑IEEE交响曲），圣克鲁斯（1992），274-284 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。