论文部分内容阅读
重写系统是一种一般的计算模型，重写系统的归约策略的范式化性质对于实际应用重写系统进行计算具有决定意义，而重叠规则导致的歧义性是使归约过程复杂化重要原因，本文对重写系统的歧义性进行了初步研究，并对一类常见的歧义问题作了具体分析，同时提出了解决办法。
重叠规则与歧义性
【摘 要】
：
重写系统是一种一般的计算模型，重写系统的归约策略的范式化性质对于实际应用重写系统进行计算具有决定意义，而重叠规则导致的歧义性是使归约过程复杂化重要原因，本文对重写系统
【出 处】
：
软件学报
【发表日期】
：
1996年A00期
其他文献
本文指出ＥＳ所固有的一些困难引起了ＥＳ的设计和维护上的困难，提出了ＥＳ的软件工程方法的观点，描述认知过程的知识说明和建造ＥＳ过程的ＰＬＷＦ模型，用来解决ＥＳ的设计阶段和维护阶段产生的问题。
教学活动是教师与学生共同参与的。教师的＂教（讲）＂与学生的＂学（听）＂构成了教学中的两个主体。让学生走上讲台,体验教师的角色,教师则重温学生的身份,从而使＂教＂与＂学＂两个主体换位,即学生
仅仅在一层知识上进行推理的推理模型有许多不足之处，例如，推理模型本身不能解释其行为的合理性（从观察者角度看），推理模型与外界进行信息交互时往往不能模拟人类的信息交互过程等
副溶血弧菌是成人腹泻中常见的致病菌之一，临床症状轻重不一，重者可有明显的全身中毒症状，常需住院治疗。笔者自2003年6月～2009年6月，应用黄连素治疗副溶血弧菌肠道感染70例，收到了
ＪＳＬＣ系统是一个规格说明语言ＪＳＬ的转换系统，它的实现反映了一种规格说明语言的转换方法，本文详细介绍了ＪＳＬＣ系统的组成结构、实现基础和技术要点。
独立学院在我国高等教育事业中占有重要的地位，其发展状况直接关系到人民的利益和国家的利益。独立学院招生工作是独立学院生存和发展的关键，招生工作的好坏，事关民办高等教育乃
本文首先介绍了设计模式的概念及其在软件开发中的作用，进而结合标准接口仪器自动测试领域给出了设计模式的描述形式，并以特定领域的设计模式作为构件构造特定领域的软件构架，从
目前，会计电算化广泛普及，为社会培养会计理论扎实、会计电算化操作技术娴熟的应用型人才是各高校会计专业电算化课程的教学目标。针对当前会计电算化课程教学中存在的问题，如课
语文教学对于初中生来说，有着至关重要的影响，对于学生升学，和以后的人生发展都有着深远的影响，在新课改的背景下，教师应采取切实有效的教学方式，使得语文教学质量得到进一步提升，情