论文部分内容阅读
本文从左，右线性递归规则组的定义出发，提出了广义左，右线性递归规则组的定义，放宽了左，右线性递归规则组寻规则形式的限制，扩展了Ｕｌｌｍａｎ提出的左，右线性递归规则组改写方法的适用范围。本文证明了由广义左，右线性递归规则组向左，右线性规则组转换的相容性，并给出了具体的转换算法。
广义左,右线性递归规则组改写
【摘 要】
：
本文从左，右线性递归规则组的定义出发，提出了广义左，右线性递归规则组的定义，放宽了左，右线性递归规则组寻规则形式的限制，扩展了Ｕｌｌｍａｎ提出的左，右线性递归规则组改写方法的适用范围。本
【机 构】
：
东南大学计算机科学与工程系
【出 处】
：
计算机学报
【发表日期】
：
1996年1期
其他文献
为了降低超大规模集成电路（ＶＬＳＩ）测试中的测试产生和测试应用代价，本文提出了一种低成本的测试码自动产生算法－临界路径跟踪测试产生（ＣＰＴＴＧ）。本文主要从算法的搜索策略、扇出源的临界性确定
目前图纸的处理技术可以分为两类：矢量经处理和图像级处理。两者都 存在各自很 难解决的问题：矢量化的准确度不高，图像级的交互操作又不方便。本文提出在图纸图像上直接拾取直
本文针对一种具有高阶、非对称和稀疏联结的Hopfield型种经网络，利用控制混饨的著名方法——OGY方法，对处于混饨状态的网络进行控制，使网络的状态稳定在其演化方程的不稳定平衡
本文阐述了ＮＤＯＯＭ的设计和实现的主要思想，ＮＤＯＯＭ是一个Ｍｏｄｕｌａ－２的面向对象扩充，是Ｍｏｄｕｌａ－２的超集，其既充分支持面向对象程序设计，又保持了Ｍｏｄｕｌａ－２的原有风格。
本文提出了一种基于智能代理的系统仿真方法ＳＭＩＡ，并讨论了该方法的软件需求工程模型和环境。利用ＳＭＩＡ可以对软件需求分析过程提供一致的知识支持、并使需求对象具有协作进化能力。
本文提出了一种利用ＨＮＮ理论的布图算法。该算法的实质是一个能量函数，它基于常用于系统分析设计的几种图形方法带约束的一个简化模型。文中讨论了利用该算法，使用不同的参数和神经
<正> 一、问题的提出《普通高等学校图书馆规程》中指出:'高等学校图书馆是学校的文献情报中心,是教学和科学研究工作的重要组成部分'。这充分说明了高校图书馆的重
因果定性推理是一种通过分析，描述物理系统行为和关系的约束，找出系统内部各个成分之间的因果结构的推理方法，本文提出了一种基于整数 几何因果定性分析模型和算法，该方法在产品
本文提出了一种基于ＩＩＲ指数平滑滤波与非线性Ｌａｐｌａｃｉａｎ算子的边缘检测方法，具有以下特点；采用最佳指数平滑滤波器增强抗噪声能力，且可实现无限大窗口的快速递归运算；利用非线性Ｌａｐｌａｃｉａｎ算子只沿边缘增