×
正仁Kurihara;阿祖玛·大内

非复制项重写中的模块性。 （英语） Zbl 0872.68075号

西奥。计算。科学。 152，第1期，139-169（1995）.
摘要：众所周知，终止性和完备性不是项重写系统的模块化属性：终止（完全）项重写系统不相交的并集不一定是终止（完整）的。我们引入了一类“非复制”项重写系统，作为一种新的基于项的形式化的图重写系统，并证明了这类系统具有终止性和完备性的模块性。实际上，我们的结果更强大，因为不相交条件被放宽，允许系统共享构造函数和一些定义的符号，同时保留主要结果。

引用于1审查
引用于6文件

MSC公司：

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

关键词：

项重写系统的模性质;终止项重写系统;终止和完整的模块性
PDF格式BibTeX公司 XML格式引用
\textit{M.Kurihara}和\textit{A.Ohuchi}，Theor。计算。科学。152，编号1，139--169（1995；Zbl 0872.68075）
全文： 内政部

参考文献：

[1] 巴伦德雷格特，H.P。；van Eekelen，M.C.J.D。；Glauert，J.R.W。；肯尼韦，J.R。；Plasmeijer，M.J。；Sleep，M.R.，术语图改写，（欧洲并行架构和语言第一届会议论文集，欧洲并行架构与语言第一届大会论文集，计算机科学讲义，第259卷（1987），施普林格：施普林格柏林），141-158·Zbl 0681.68037号
[2] Courcelle，B.，《图形重写：一种代数和逻辑方法》（van Leeuwen，J.，《理论计算机科学手册》，第B卷（1990），北荷兰：北荷兰阿姆斯特丹），193-242·Zbl 0900.68282号
[3] 北卡罗来纳州德肖维茨。；Manna，Z.，用多集排序证明终止，美国陆军司令部，22，8，465-476（1979）·兹伯利0431.68016
[4] 北卡罗来纳州德肖维茨。；Jouannaud，J.-P.，《重写系统》（van Leeuwen，J.，《理论计算机科学手册》，第B卷（1990），北荷兰：北荷兰阿姆斯特丹），243-320·Zbl 0900.68283号
[5] Dershowitz，N.，《分层终止》（Proc.Internat.条件词重写系统研讨会.Proc.Interat.条件词改写系统研讨会，计算机科学讲稿（1994），Springer:Springer Berlin），即将出版
[6] Farmer，W.M。；Watro，R.J.，《术语图重写中的Redex捕获》（Proc.Internat.Conf.on rewriting Techniques and Applications），（Proc.Internat.Conf.on rewriting-Techniques and-Applications，Telection Notes in Computer Science，Vol.488（1991），Springer:Springer Berlin），13-24·Zbl 0723.68057号
[7] Gramlich，B.，重写模块终止的广义充分条件，（Proc.Internat.Conf.on Algebraic and Logic Programming，Proc.Internet.Conf.on Algeraic and Logics Programming.，Telection Notes in Computer Science，Vol.632（1992），Springer:Springer Berlin），53-68·兹伯利0925.68263
[8] Gramlich，B.，《术语重写系统的相关最内层、弱、一致和模块化终止》，（逻辑编程和自动推理程序Conf·Zbl 0925.68269号
[9] Huet，G.，Confluent reductions:抽象属性及其在术语重写系统中的应用，J.ACM，27797-821（1980）·Zbl 0458.68007号
[10] Huet，G。；Oppen，D.C.，《方程式和重写规则：一项调查》，（Book，R.，形式语言理论：观点和开放问题（1980），学术出版社：纽约学术出版社），349-405
[11] Klop，J.W.，《术语重写系统：教程》，Bull。欧洲理论协会。计算。科学。，32, 143-183 (1987) ·Zbl 0666.68025号
[12] Klop，J.W.，术语重写系统，（Abramsky，S.等，《计算机科学逻辑手册》，第二卷（1991），牛津大学出版社：牛津大学出版社），1-116
[13] Rao，M.R.K.Krishna，术语重写系统层次结构组合的简单终止，（Proc.Internat.Symp.on Theory Aspects of Computer Software Proc.Internat.Symp.on Theory Aspects of Compute Software，Teach Notes in Computer Science，Vol.789（1994），Springer:Springer Berlin），203-223·Zbl 0942.68593号
[14] Kurihara，M。；Ohuchi，A.，术语重写系统简单终止的模块化，J.Inform。过程。日本社会，31633-642（1990）
[15] Kurihara，M。；Ohuchi，A.，带共享构造函数的简单终止项重写系统的模块化，Theoret。计算。科学。，103, 273-282 (1992) ·Zbl 0753.68053号
[16] Middeldorp，A.，与正规形式相关的术语重写系统属性的模块化方面，（Proc.Internat.重写技术和应用的Conf.Proc.Internet.重写技术与应用的Conf，计算机科学讲义，第355卷（1989），Springer:Springer-Blin），263-277·Zbl 1503.68137号
[17] Middeldorp，A.，项重写系统直和终止的一个充分条件，（计算机科学中IEEE第四次研讨会逻辑（1989）），396-401·Zbl 0716.68054号
[18] Middeldorp，A.，术语重写系统的模性质，（博士论文（1990年），阿姆斯特丹Vrije大学）·Zbl 0804.68071号
[19] Middeldorp，A.公司。；富山，Y.，构造器系统组合的完整性，J.符号计算。，15, 331-348 (1993) ·Zbl 0778.68050号
[20] O'Donnell，M.J.，《方程描述的系统中的计算》（《计算机科学讲义》，第58卷（1977年），施普林格出版社：施普林格-柏林）·Zbl 0421.68038号
[21] O'Donnell，M.J.，《作为编程语言的等式逻辑》（1985），麻省理工学院出版社：麻省理学院出版社剑桥·Zbl 0636.68004号
[22] Ohlebusch，E.，《关于术语重写系统终止的模块化》，（第11号报告（1993年），Universityät Bielefeld，Technische Fakultät:Universityát Bilefeld，Techische Fakultát Beelefeld）·兹伯利0938.68683
[23] Plump，D.，《通过图约简实现术语重写：组合系统的终止》，（Proc.Internat.条件和类型术语重写系统研讨会.Proc.Internat.条件和类型词汇重写系统研讨会，计算机科学讲稿，第516卷（1990），Springer:Springer Berlin），307-317·Zbl 1507.68158号
[24] Plump，D.，《折叠树重写：完整性、合流性和模块性》，（Proc.Internat.条件词重写系统研讨会.Proc.Interat.条件词改写系统研讨会，计算机科学讲稿，第656卷（1992年），Springer:Springer Berlin），97-112·Zbl 1508.68172号
[25] Rusinovitch，M.，《关于终止术语重新编写系统的直接和》，Inform。过程。莱特。，26, 65-70 (1987) ·兹比尔0654.68030
[26] Toyama，Y.，《关于项重写系统的直接和的Church-Rosser性质》，J.ACM，34，128-143（1987）·Zbl 1151.68453号
[27] Toyama，Y.，重写系统直接和终止的反例，Inform。过程。莱特。，25, 141-143 (1987) ·Zbl 0653.68010号
[28] 富山，Y。；Klop，J.W。；Barendregt，H.P.，左线性项重写系统直和的终止（初稿）·Zbl 0885.68093号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。