有界闭连通域上的非线性循环终止性分析

• 作者: 冯勇 李轶
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 可信计算 非线性循环 终止性分析 Groebner基 计算机代数
• 年，卷（期）: 2016,（3）
• 所属期刊栏目: 软件形式化方法与应用专题
• 页码范围: 517-526
• 页数: 10页
• 分类号: TP301
• 字数: 10002字
• 语种: 中文
• DOI: 10.13328/j.cnki.jos.004978

摘要

运用计算机代数中的Groebner基理论,对有界闭连通域上的单重非线性循环程序的终止性问题进行研究,建立了可计算的终止性判定算法.该算法将这类循环的终止性判定问题归约为有无不动点的判定问题.