用有限差分法分析多项式程序终止

摘要：

针对多项式程序的终止性问题,提出了一种使用有限差分法判定其终止性的算法。以有限差分法的基本思想为基础,发现了程序循环条件表达式的值与其有限差分值之间的关系,并对其进行了严格证明,由此得到判定这类循环程序终止性的方法。最后,还进一步分析了使用有限差分法判定具有更复杂条件表达式和有多分支的循环程序的终止性。

关键词：有限差分、循环、终止

所属期刊栏目：43

分类号：TP311.1(计算技术、计算机技术)

资助基金：国家“973”计划资助项目2011CB302402;中国科学院“西部之光”人才培养计划“联合学者”项目;国家自然科学基金资助项目11171053

在线出版日期：2012-04-21（万方平台首次上网日期，不代表论文的发表时间）

页码：111-114,118