论文部分内容阅读
本文给出拓广的右线性递归变换算法并证明其正确性.拓广的右线性递归中可以包含一个或多个IDB谓词,它是右线性递归的一般化.和右线性递归计算算法一样,本文提供的算法遵循魔集的模式:首先改写规则,然后用半扑质的自底向上算法计算新规则.算法的有效性通过减少递归谓词的元数实现.更多还原
拓广的右线性递归变换算法及其正确性
【摘 要】
：
本文给出拓广的右线性递归变换算法并证明其正确性.拓广的右线性递归中可以包含一个或多个IDB谓词,它是右线性递归的一般化.和右线性递归计算算法一样,本文提供的算法遵循魔
【机 构】
：
郑州大学计算机科学系郑州450052
【出 处】
：
计算机学报
【发表日期】
：
1992年12期
【基金项目】
：
河南省自然科学基金
其他文献
在金融危机影响下．2009年世界实体经济迎来最困难时期．需求弱化现象正引导全球商品市场走势．并进一步冲击玉米消费。我国养殖业和玉米深加工行业也进入到淘汰整合阶段。一旦整体
5月17日．2009中国畜牧业暨饲料工业展览会在成都世纪城新国际会展中心隆重举行。中国饲料工业协会信息中心组成专门的宣传报道组访问了部分参展企业的代表．针对金融危机对行业
磺胺类药物具有抗菌谱较广、性质稳定、使用简便等特点．所以在畜牧养殖业被用作治疗动物的肠道感染等疾病：但是如果以预防为目的在饲料中长期添加使用。则会使致病菌产生耐药性
本文描述了智能刺绣编程系统IEPS的设计原理和实现技术。系统把人工智能和图像处理等技术用于传统的刺绣生产,采用平板扫描仪自动地输入刺绣图案,并解决了自动编针,实现了图
本文给出三个算法,分别用于把给定的右线性、左线性或左-右线性递归程序改写为一组更有效的规则.与Ullman等人的变换算法不同,本文的算法允许查询的初始约束可以是含任意多个
全交换指系统中的每个处理机同时把各自的消息发送给其它所有处理机的一种通信.这是并行计算中最常用的通信模式之一。本文提出了一种新的全交换路由算法,其通信开销较小,且
1 国内饲料产品价格趋稳5月份全国育肥猪配合饲料价格为2.45元／kg（图1）．与上月相比略有下降，同比下降5．77％，青海、天津、吉林、辽宁、山东、河北、陕西、河南等省（市）育肥猪配合饲料价
<正>【本刊讯】2009年12月11-14日,"第6届中国饲料科技与经济高层论坛暨中国饲料经济专业委员会第6届学术交流大会"在北京九华山庄国际会议中心隆重召开,农业部畜
财政部12月1日发布通知称．2009年东北地区新产玉米上市后．中央财政对南方饲料消费省份采购东北地区新产玉米并运到本地的．给予一次性定额费用补贴。此外．新产大豆上市后．对东北地
本文根据Cray-1计算机标量计算的工作方式和特点分析了它的存取速度、功能部件速度、指令流出速度和标量前沿寄存器个数之间的关系,并在这四者之间建立了相互联系的公式,据此