论文部分内容阅读
RR变换能够把一类二重递归化为尾递归.本文给出RR变换的正确性证明,并拓广RR变换,给出一种新的递归算法等价变换模式——R~n变换.R~n变换能够把一类多分支的n重递归化为尾递归,从而直接对应于迭代结构.
RR变换及其推广
【摘 要】
：
RR变换能够把一类二重递归化为尾递归.本文给出RR变换的正确性证明,并拓广RR变换,给出一种新的递归算法等价变换模式——R~n变换.R~n变换能够把一类多分支的n重递归化为尾递
【机 构】
：
郑州大学计算机科学系
【出 处】
：
郑州大学学报：理学版
【发表日期】
：
1989年2期
其他文献
本文研究了弱光反馈对半导体激光器(LD)脉冲IM动态频率飘移(DFS)的影响,数值分析表明:外部光反馈可以有效地抑制LD的DFS。更多还原
一条新闻能不能打动读者、吸引读者去看，标题往往起着很大的作用。“题好一半文”。一个好标题，常常会使一篇新闻添辉增色，起到画龙点睛的作用。
1莆田市冬季气候特征和气象灾害1．1冬季降水特征和气象灾害1．1．1冬季降水特征莆田城关冬季降水量多年平均为140mm，冬季最少降水量为9．7mm（62-63年），最多降水量为408．8mm（97～98年），最多降水
近几年来，四川省大力发展“竹-浆-纸-加工-销售”一体化制浆造纸产业集群，打造竹浆生活用纸领军品牌，把绿色竹资源优势转化为产业发展优势，科学地践行“绿水青山就是金山银山”。
教学《小苏打和白醋的变化》时，为了检验产生的二氧化碳气体是否比空气重，教材建议将产生的气体从上方倾倒在燃烧的蜡烛火焰上，如果蜡烛熄灭，则可验证此气体比空气重。 在实际的教学中发现这种方法有两个弊端： 一是倾倒后有小组的蜡烛不能熄灭，原因可能是倾倒时教室或实验室里的空气流动导致二氧化碳气体扩散。 二是倾倒后蜡烛熄灭了，但是部分学生认为这种现象是该气体不支持燃烧所产生的，不能明确地说明这种气体比
近日，Graphic Packaging International（GPI）与总部设在威尔士的英国冷冻食品零售商Iceland Foods Ltd.公司合作，为Iceland Foods公司的素食产品提供无塑料包装系列产品。 GPI公司生產的100%可回收的纸盒包装可以帮助Iceland Foods公司实现在2023年之前从其自有品牌食品中去除塑料包装的承诺。 随着无塑料包装需求的不断增加，
一、引言理论研究和大量实验表明,(n,Υ)反应中存在丰富的反应机制,如果按照波函数的成份分类,目前已经提出并在一定程度上被证实的辐射俘获反应机制有:位阱俘获和阶俘获、复
期刊
陈宇宸热爱生活，从小喜欢观察、动脑，善于从生活中发现问题、解决问题。他认为：有梦想，生活才有乐趣，具有创意的点子不仅能解决实际困难，而且能为生活带来许多惊喜。 小學一年级时，学校举办了“金点子”创新大赛，他的“金点子”——《万能书签》脱颖而出，荣获一等奖，并代表学校参加市科技创新大赛。从此，他便踏入了科技创新的大门，并深深地爱上了它。 在后来的几项发明创造中，并不是一帆风顺的，但他总能凭借着对
《台风》一书的作者陈瑞闪，曾任福建省气象台台长，正研级高级工程师，是台风预报和研究的著名专家。作者在近半个世纪里，一直在预报业务第一线工作，积累了丰富的台风预报实践经验和
随着我国素质教育改革的不断推进,声乐表演实践在声乐学习中发挥着越来越重要的作用,它能明显提升表演者的水平和综合能力。声乐的理论知识学习与声乐表演实践是相互促进、相