[00229337]一类有界闭连通域上的循环程序终止性判断方法
交易价格：
面议
所属行业：
分析仪器
类型：
发明专利
技术成熟度：
正在研发
专利所属地：中国
专利号：CN201510181105.6
交易方式：
技术转让
技术转让
技术入股
联系人：
中科院重庆绿色智能技术研究院德领科技
进入空间
所在地：重庆重庆市
- 服务承诺
- 产权明晰
-
资料保密
对所交付的所有资料进行保密
- 如实描述
技术详细介绍
摘要：本发明涉及一类有界闭连通域上的循环程序终止性判断方法，属于计算机技术领域。该方法包含以下步骤1)遍历程序，查找程序中的循环程序，提取出有界闭连通域上的循环程序；2)依次判断步骤一所述的有界闭连通域上的程序循环问题是否满足可归约为有无不动点的等效问题，如果不满足则无法判断程序循环是否终止；3)依次判断步骤二所述的可归约的循环程序的不动点是否在有界闭连通域上，如果全都不在，那么该循环程序是可终止的，否则为不可终止的。该方法将这类循环的终止性判定问题归约为有无不动点的判定问题，能准确的判断出该类循环的终止性问题。
摘要：本发明涉及一类有界闭连通域上的循环程序终止性判断方法，属于计算机技术领域。该方法包含以下步骤1)遍历程序，查找程序中的循环程序，提取出有界闭连通域上的循环程序；2)依次判断步骤一所述的有界闭连通域上的程序循环问题是否满足可归约为有无不动点的等效问题，如果不满足则无法判断程序循环是否终止；3)依次判断步骤二所述的可归约的循环程序的不动点是否在有界闭连通域上，如果全都不在，那么该循环程序是可终止的，否则为不可终止的。该方法将这类循环的终止性判定问题归约为有无不动点的判定问题，能准确的判断出该类循环的终止性问题。
