中国科学院重庆绿色智能技术研究院机构知识库

本发明涉及一类有界闭连通域上的循环程序终止性判断方法，属于计算机技术领域。该方法包含以下步骤：1)遍历程序，查找程序中的循环程序，提取出有界闭连通域上的循环程序；2)依次判断步骤一所述的有界闭连通域上的程序循环问题是否满足可归约为有无不动点的等效问题，如果不满足则无法判断程序循环是否终止；3)依次判断步骤二所述的可归约的循环程序的不动点是否在有界闭连通域上，如果全都不在，那么该循环程序是可终止的，否则为不可终止的。该方法将这类循环的终止性判定问题归约为有无不动点的判定问题，能准确的判断出该类循环的终止性问题。