【摘 要】
：
本文提出一种递归消除的方法,适于一类基于递归数据结构的程序。该方法将递归程序作为初始规约,以求解过程的状态变迁序列作迭代模式;通过数据展开和变换实现初始规约向基于
【机 构】
：
江西师范大学计算机信息工程学院,江西省高性能计算技术重点实验室
【基金项目】
：
国家973计划资助项目(2003CCA02800);国家自然科学基金资助项目(60273092);江西省教育厅科技项目(2005-90)
论文部分内容阅读
本文提出一种递归消除的方法,适于一类基于递归数据结构的程序。该方法将递归程序作为初始规约,以求解过程的状态变迁序列作迭代模式;通过数据展开和变换实现初始规约向基于序列描述规约的变换,继而用PAR形式推导出序列规约的递推关系,并以之为核心近乎机械地构造出非递归算法。树和图的两个算法实例说明了本方法的有效性。
其他文献
生猪是我国畜牧业第一大产业，也是我国肉类食品的主要来源，在我国农民收入中占有较高的比重。提高我国生猪的生产能力，对于稳定物价、保障肉类消费具有重要的现实意义。本文利用
随着中国经济不断的发展,很多企业的管理模式难以满足当今经济的发展趋势,发展过程中面临很多挑战。在企业管理中,要想管理发挥真正的作用,就需要将管理与传统文化相结合,不
谣言猛如虎。伴随新型冠状病毒感染肺炎疫情而来的，是各种谣言泛滥,从而造成公众情绪恐慌。1月31日晚，某平台上一篇关于“中成药双黄连口服液可抑制新型冠状病毒”的不实消息，让
自2008年金融危机爆发以来,中国宏观经济进入"新常态"使服务业的重要作用迅速凸显。同时伴随着供给侧结构性改革的深入推进,服务业发展的潜力将不断地释放,发展动能逐渐积聚,
结合现代化技术发展成果,指出加强建筑给排水工程施工质量的必要性。针对管理不当、渗漏及堵塞、噪音污染等建筑给排水工程中存在的问题提出优化工程施工的有效策略,应做好施
土地利用方式的变化是影响流域径流的重要因素。为定量研究土地利用/覆被变化对径流的影响,该文结合SWAT（Soil and Water Assessment Tool）分布式水文模型,分析了秦皇岛地区200
2014年,我国植物油加工行业发展放缓,亏损有所增加。主要油料作物生产继续下滑,油料和植物油进口持续增加,油料供给安全形势更加严峻。大宗植物油市场与品牌处于外资、国企和
控制翼作为一种舰船姿态主动控制系统，其在高性能船舶上已经得到初步的应用，但对舰船在波浪中航行的姿态还未能完全实现主动控制。本文基于SolidWorks软件使得交流伺服电机按照
网络营销是当下非常热门的专业,在高职院校教学中占据重要位置。在时代的发展下,我国网络营销发展步伐加快,而且具备广阔的发展前景。高职院校网络营销专业要加强实践教学,构