×
纳鸿·德肖维茨;圣埃芬·卡普兰;David A.Plaisted。

重写，重写，重写…。 （英语） Zbl 0759.68044号

西奥。计算。科学。 83，第1期，71-96（1991）.
介绍了术语再写系统中具有极限和（无穷）α正规形式（α是序数）的超有限导数。特别研究了以下性质：（ω）-闭包、顶终止、（ω。在术语重写和（单排序）代数语义之间建立了通常的联系。对于多分类情况，还指出了使用构造函数的层次系统的充分完备性。证明没有遗漏，并提供了明确的例子。
审核人：C.Masalagiu（伊阿什）

引用于2评论
引用于33文件

MSC公司：

2012年第68季度 语法和重写系统
68问题55 计算理论中的语义学
2015年1月3日 递归序数和序数符号
08A70号 泛代数在计算机科学中的应用

关键词：

超限导数;正规形式;终止;汇流;代数语义学
PDF格式BibTeX公司 XML格式引用
\textit｛N.Dershowitz｝等人，Theor。计算。科学。83，编号1，71--96（1991；Zbl 0759.68044）
全文： 内政部

参考文献：

[1] J.戈根。；J.撒切尔。；Wagner，E.，《初始代数语义和连续代数》，J.Assoc.Compute。机器。，24, 1, 69-95 (1977) ·Zbl 0359.68018号
[2] 陈，Y。；O'Donnell，M.J.，《无限项和无限重写》，《国际文摘》第二期。条件和类型重写系统研讨会（1991年），施普林格：施普林格柏林，发表在《计算机科学讲义》中·Zbl 1507.68146号
[3] Courcelle，B.，Arbres infinis et systèmes d’équations，RAIRO Inform。泰戈尔。，13, 1, 31-48 (1979) ·Zbl 0406.68017号
[4] Courcelle，B.，《规范形式的无限树和具有唯一解的递归方程》，数学。系统理论，13，131-180（1979）·Zbl 0418.68013号
[5] Dershowitz，N.，《重写的终止》，J.符号计算。，4, 3, 409-410 (1987) ·Zbl 0637.68036号
[6] 北德肖维茨。；卡普兰，S.，重写，重写，改写，重写，…，程序。第16届ACM交响乐团。《程序设计语言原理》，250-259（1989），德克萨斯州奥斯汀·Zbl 0759.68044号
[7] 北德肖维茨。；卡普兰，S。；Plaisted，D.A.，《无限范式》（Proc.16th EATCS Internat.Collocium on Automata，Languages and Programming，372（1989），Springer:Springer Berlin），249-262，在学术讨论会上分发的勘误·Zbl 0686.68019号
[8] 北德肖维茨。；Jouannaud，J.-P.，《重写系统》（van Leeuwen，J.，《理论计算机科学、形式模型和语义手册》，B卷（1990），北荷兰：北荷兰阿姆斯特丹），243-320·Zbl 0900.68283号
[9] Ehrig，H。；平价，F。；Boehm，P。；里克霍夫，C。；Dmitrovici，C。；Große-Rhode，M.，基于投影空间的代数数据类型和过程规范，（数据类型规范的最新趋势：精选论文第五届抽象数据类型规范研讨会，332（1988），Springer:Springer-Berlin），23-43，苏格兰古兰，计算机科学讲义·Zbl 0661.68017号
[10] 法默，W.M。；Watro，R.J.，《术语图重写中的Redex捕获》，Proc。第四国际。重写技术与应用会议（1991），施普林格：施普林格柏林，意大利科莫，计算机科学讲义·Zbl 0723.68057号
[11] Givler，John S.，《连续重写系统》（1989），IBM T.J.Watson研究中心，未出版笔记
[12] Huet，G.，《合流约简：术语重写系统的抽象属性和应用》，J.Assoc.Compute。机器。，27, 4, 797-821 (1980) ·Zbl 0458.68007号
[13] Huet，G。；Oppen，D.C.，《方程式和重写规则：一项调查》，（Book，R.，形式语言理论：观点和开放问题（1980），学术出版社：纽约学术出版社），349-405
[14] Kaplan，S.，条件重写规则，理论计算机科学，33175-193（1984）·Zbl 0577.03013号
[15] Kennaway，J.R。；克洛普，J.W。；睡眠，M.R。；de Vries，F.J.，正交项重写系统中的超有限约化，Proc。第四国际。重写技术与应用会议（1991），施普林格：施普林格柏林，科莫，意大利，计算机科学讲稿·Zbl 1502.68151号
[16] Klop，J.W.，《术语重写系统：教程》，Bull。欧洲。助理理论家。计算。科学。，32, 143-183 (1987) ·Zbl 0666.68025号
[17] Knuth，D.E。；Bendix，P.B.，《泛代数中的简单单词问题》（Leech，J.，《抽象代数中的计算问题》（1970），佩加蒙出版社：牛津佩加蒙出版公司），263-297·Zbl 0188.04902号
[18] Manna，Z。；Ness，S.，关于马尔可夫算法的终止，Proc。第三届夏威夷国际。系统科学会议，789-792（1970），夏威夷州火奴鲁鲁
[19] Möller，B.，《无限对象的代数规范——代数类型的有序和连续模型》，Acta Inform。，22, 5, 537-578 (1984) ·Zbl 0563.68030号
[20] Naoi，T。；Inagaki，Y.，《术语重写系统的代数语义和复杂性》（Proc.3rd Internat.Conf.on rewriting Techniques and Applications，355（1989），Springer:Springer Berlin），311-325，计算机科学讲稿·Zbl 1503.68142号
[21] Narain，S.，LOG（F）：逻辑编程、重写和惰性评估的最佳组合，博士论文（1988），加利福尼亚大学计算机科学系：加利福尼亚大学洛杉矶分校计算机科学系
[22] Nivat，M.，《关于递归多元程序方案的解释》，Symp。数学。，15, 255-281 (1975) ·Zbl 0346.68041号
[23] O'Donnell，M.J.，《方程描述的系统中的计算》，58（1977），施普林格：施普林格柏林，计算机科学讲稿·Zbl 0421.68038号
[24] O'Donnell，M.J.，《作为编程语言的赤道逻辑》（1985），麻省理工学院出版社：麻省理工学院出版社，马萨诸塞州剑桥·Zbl 0636.68004号
[25] 拉乌尔，J.-C。；Vuillemin，J.，递归程序之间的操作和语义等价，J.计算机助理。机器。，27, 4, 772-796 (1980) ·Zbl 0447.68004号
[26] Scott，D.，作为格的数据类型，SIAM J.Compute。，5, 522-587 (1976) ·Zbl 0337.02018号
[27] Stoy，J.，《指称语义学：编程语言的Scott-Strachey方法》（1977年），麻省理工学院出版社：麻省理学院出版社剑桥
[28] Tarlecki，A。；Wirsing，M.，连续抽象数据类型，基金。通知。，9, 95-126 (1986) ·兹比尔062468024
[29] Wirsing，M.，代数规范，（van Leeuwen，J.，《理论计算机科学、形式模型和语义手册》，第B卷（1990年），北荷兰：北荷兰阿姆斯特丹），675-788·Zbl 0900.68309号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。