论文部分内容阅读
本文着重研究重写系统的合流性,通过引入符号测度的概念,本文定义了半正则重写系统,并证明了半正则重写系统的合流性。
半正则重写系统及其合流性
【摘 要】
：
本文着重研究重写系统的合流性,通过引入符号测度的概念,本文定义了半正则重写系统,并证明了半正则重写系统的合流性。
【机 构】
：
上海交通大学计算机系,上海交通大学计算机系上海200030,上海200030
【出 处】
：
软件学报
【发表日期】
：
1992年4期
其他文献
ＸＹＺ系统由时序逻辑语言ＸＹＺ／Ｅ及一组基于该语言的ＣＡＳＥ工具集组成。ＸＹＺ／Ｅ语言的目的是欲使逐步求精，描述及验证、快速原型等一些软件工程方法更加有效。特别地，它还能表示实时通信进程中的动态成分
本文分析了当前知识工程语言及其开发环境的现状,并介绍了基于知识工程语言及其支撑环境应是传统程序设计语言及其支撑环境的提高和进化的思想设计和实现的NEW专家系统开发环
摘要：高职院校的思想政治课教学存在着一些亟待解决的问题，应采取有效的措施，改变学生厌学，教师厌教，教学效果不佳的状况，切实提高高职院校思想政治课教学的实效性。 关键词：高职；思想政治课；教学；对策 高职教育培养的高级技术应用型人才不仅要具备扎实的专业技术知识，还要具有较高的思想文化素质与道德素质。因此，加强与改进高职学生的思想政治教育，提高其思想政治素质，将其培养成中国特色社会主义事业的建
煤柱合理宽度的确定是影响综放沿空掘巷围岩稳定性的重要因素。文章通过理论分析和数值模拟相结合的方法，确定了深部矿井沿空掘巷的煤柱合理宽度为6m，现场试验表明，留设6m煤柱时
为探索沙漠化发生机制，在内蒙古奈曼的流动沙丘，干草地和湿草地进行了微气象观测，并用热量平衡法分析观测数据，观测结果表明，沙漠化发生后，反射率增加，净辐射减少；而且热量平衡中土壤
教育部办公厅近日正式下发了《关于中等职业学校面向返乡农民工开展职业教育培训工作的紧急通知》。通知要求。各地要以县级职教中心为主要基地，充分发挥农村成人文化技术学校
本文用σ－坐标原始方程全球谱模式，对１９７９年１月２３日和６月１４日两个个例，采用３种不同的垂直分层方案，进行了敏感性试验，通过对高度场均方根误差的分析，发现１５层模式对北半球冬季预报效果的改进最明
本文提出了将解释学习方法用于学习算法构架的思想，以提高软件自动化系统从功能规格说明转换到设计规格说明的能力。文中给出了算法构架的表示，操作性的定义及其处理方法。系统