×

一致和左线项重写系统的模终止。 (英语) Zbl 0874.68159号

摘要:项重写系统的一个模性性质是当它对每个涉及的项重写系统都成立时,它对两个不相交项重写系统直和成立。项重写系统是(r)一致的,如果没有项可以重写为两个不同的变量。我们证明了左线性一致项重写系统的子类具有模终止性质。该子类还可能包含非连续项重写系统。由于合流意味着(r)-一致性,这构成了Toyama、Klop和Barendregt关于合流和左线性项重写系统终止模块性的定理的推广。

MSC公司:

2012年第68季度 语法和重写系统

关键词:

术语重写系统
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] 巴赫迈尔,L。;Dershowitz,N.,交换、转换和终止,(第八届自动演绎大会,第八届计算机科学大会,第230卷(1986),施普林格:施普林格-柏林),5-20·Zbl 0642.68036号
[2] Dershowitz,N.,《重写的终止》,J.符号计算。,3, 69-116 (1987) ·Zbl 0637.68035号
[3] 北卡罗来纳州德肖维茨。;Jouannaud,J.-P.,重写系统,(van Leeuwen,J.,《理论计算机科学手册:形式模型和语义》,B卷(1990),北荷兰:北荷兰阿姆斯特丹),243-320·Zbl 0900.68283号
[4] Drosten,K.,Termersetzungsysteme,(Informatik-Fachberichte 210(1989),Springer:Springer Berlin),德语·Zbl 0697.68005号
[5] Gramlich,B.,《术语重写系统的相关最内层、弱、一致和模块化终止》(Proc.Internat.Conf.on Logic Programming and Automated Reasoning),(Proc.Internat.Conf.on Logic Program and Automative Reasoning.,计算机科学讲义,第624卷(1992),Springer:Springer Berlin),285-296·Zbl 0925.68269号
[6] Huet,G.,Confluent reduction:抽象性质及其在术语重写系统中的应用,美国计算机学会,27,797-821(1980)·兹比尔0458.68007
[7] Klop,J.W.,术语重写系统,(Abramsky,S.;Gabbay,D.M.;Maibaum,T.S.E.,计算机科学逻辑手册,第2卷(1992)),1-116
[8] Kurihara,M。;Ohuchi,A.,术语重写系统中简单终止的模块化,J.Inform。加工,14357-358(1991)·Zbl 0763.68047号
[9] Marchiori,M.,《联合国模块化》^→\) 对于左线性项重写系统,(技术报告CS-R9433(1994),CWI:CWI阿姆斯特丹)
[10] Marchiori,M.,《重新审视完整性的模块性》(《技术报告6》(1994),帕多瓦大学纯粹和应用数学系:意大利帕多娃大学纯粹和运用数学系)·Zbl 1508.68166号
[11] Middeldorp,A.,项重写系统直和终止的一个充分条件,(第四届IEEE计算机科学逻辑研讨会(1989)),396-401
[12] Middeldorp,A.,术语重写系统的模块化性质,(博士论文(1990年),阿姆斯特丹Vrije大学)·Zbl 0804.68071号
[13] 米德尔多普,A。;Toyama,Y.,《建造系统组合的完整性》,(第4版RTA-91)。程序。第四届RTA-91,计算机科学讲义,第488卷(1991),施普林格:施普林格柏林),188-199·Zbl 1503.68138号
[14] Ohlebusch,E.,Termination对于汇合可变保护项重写系统来说不是模块化的,Inform。处理信函。,53, 347-353 (1995)
[15] Ohlebusch,E.,可组合项重写系统的模特性,(博士论文(1994),比勒费尔德大学)·Zbl 0851.68058号
[16] Rao,K.,逻辑程序的终止特征,(博士论文(1993),塔塔基础研究所:塔塔基本研究所孟买)·Zbl 1134.68333号
[17] Rusinovitch,M.,关于项重写系统的直接和的终止,Inform。处理信函。,26, 65-70 (1987) ·Zbl 0654.68030号
[18] Schmidt-Schauß,M.,任意不相交方程理论组合中的统一,J.符号计算。,8, 51-99 (1989) ·Zbl 0691.03003号
[19] Toyama,Y.,重写系统直接和终止的反例,Inform。处理信函。,25, 141-143 (1987) ·Zbl 0653.68010号
[20] Toyama,Y.,《关于项重写系统的直接和的Church-Rosser性质》,J.ACM,34,128-143(1987)·Zbl 1151.68453号
[21] 富山,Y。;克洛普,J.W。;Barendregt,H.P.,左线性项重写系统直和的终止,(Proc.3rd Internat.Conf.on Rewriteing Techniques and Applications。Proc.3rd Internat.Conf.on Rewriteing Techniques and Applications,《计算机科学讲义》,第355卷(1989),施普林格:施普林格柏林),477-491·Zbl 0885.68093号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。