有界闭区间并上的非线性循环程序的终止性验证

摘要

10.3969/j.issn.1000-386x.2012.10.029%　　利用符号动力学理论中有关一维离散映射的函数和区间的转换图方法及相关结论，证明一类非线性循环程序不终止的必要条件是在该程序循环区间上有不动点或者周期点存在，并给出相应的终止性验证算法。利用该算法可以验证一维有界闭区间上的非线性循环程序的终止性。最后，给出计算实例演示该算法的算法步骤。