首页 | 本学科首页   官方微博 | 高级检索  
     

Nonterminating Rewritings with Head Boundedness
作者姓名:Chen  Yiyun
作者单位:DepartmentofComputerScience,UniversityofScienceandTechnologyofChina,Hefei230026
基金项目:The project is supported by the National Natural Science Foundation of China.
摘    要:We define here the concept of head boundedness,head normal form and head confluence of term rewriting systems that allow infinite derivation.Head confluence iw weaker than confluence,but sufficient to guarantee the correctness of lazy implementations of equational logic programming languages.Then we prove several results.First,if a left-linear system is locally confluent and head-bounded.then it is head-confluent.Second,head-confluent and head-bounded systems have the heau Church-Rosser property.Last,if an orthogonal system is head-terminating,then it is head-bounded.These results can be applied to generalize equational logic programming languages.

关 键 词:终端设备  重写系统  逻辑设计语言

Nonterminating rewritings with head boundedness
Chen Yiyun.Nonterminating Rewritings with Head Boundedness[J].Journal of Computer Science and Technology,1993,8(2):66-75.
Authors:Chen Yiyun
Affiliation:Department; Computer; Science; University; Technology; China; Hefei; 230026;
Abstract:We define here the concept of head boundedness,head normal form and head confluence of term rewriting systems that allow infinite derivations.Head confluence is weaker than confluence,but suffi- cient to guarantee the correctness of lazy implementations of equational logic programming languages. Then we prove several results.First,if a left-linear system is locally confluent and head-bounded,then it is head-confluent.Second,head-confluent and head-bounded systems have the head Church-Rosser proper- ty.Last,if an orthogonal system is head-terminating,then it is bead-bounded.These results can be ap- plied to generalize equational logic programming languages.
Keywords:Term rewriting systems  confluence  termination
本文献已被 CNKI 维普 SpringerLink 等数据库收录!
点击此处可从《计算机科学技术学报》浏览原始摘要信息
点击此处可从《计算机科学技术学报》下载全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号