论文部分内容阅读
讨论左线性的项重写系统的合流性,通过引入重写系统的局部归约序,可证明对于具有局部归约序的左线性重写系统R,R具有合流性,当且仅当,对于任意M→R P和M→R Q,P和Q在M下相对局部归约序子连通。
左线性重写系统的合流性
【摘 要】
：
讨论左线性的项重写系统的合流性,通过引入重写系统的局部归约序,可证明对于具有局部归约序的左线性重写系统R,R具有合流性,当且仅当,对于任意M→R P和M→R Q,P和Q在M下相对
【机 构】
：
上海交通大学计算机科学与工程系,上海交通大学计算机科学与工程系
【出 处】
：
上海交通大学学报
【发表日期】
：
1991年6期
其他文献
2006年12月3日晚，由依文企业集团主办的“真情依文 感动中国——依文情感时尚2006北京盛典”再次上演了感人的一幕。活动通过影片的形式再现了湖南资兴市昆村的妇女主任陈淑秀
冷挤压成形工序设计(或称过程规划)通常是由经验丰富的模具设计人员依靠已有的设计和工艺规则及其经验进行的。本文介绍一种利用专家系统来自动产生可行工序的方法,系统建造
最近几年，来自北京的服装产品以款式稳重、做工细致、版型适合青岛消费者的特色形象与青岛市民的生活和社交活动紧紧联系在一起。北京服装已经占据了青岛的部分服装市场份额，拥
通过多年的生产实践，对ＢＤ２００－ＲＮ型气流纺纱机在与多种其它机型相比时具有一定优势（１）温湿度适应性强；（２）机械设计合理，制造精度高，所以机械坏车少；（３）郑线部分设计好，成形坏纱少；（４）所配刺辊质量好，质量稳
<正> “经济控制论”这个术语,从1952年巴黎的世界控制论人会首次提出,至今已有40年了.在这40年里,一些优秀的控制理论家与经济学家合作,为形成经济控制论这门新的边缘学科作
本文利用单裂纹基本解,将裂纹产生的不连续解分离,然后配以常规边界积分方程解答,使含裂纹柱的扭转问题归结为解一组混合型积分方程,并为此建立了数值方法.文中对工程中有兴
随着生产力的不断发展和社会的进步,推动了我国煤矿企业的改革,企业的安全文化也逐渐得到了人们的重视。煤矿企业的安全文化是其进行安全生产的首要前提,并占据着重要的位置