有界闭域上的线性赋值循环终止性分析
DOI: 10.13328/j.cnki.jos.004427, PP. 1133-1142
Keywords: 可信计算,非线性循环,终止性分析,jordan,标准型,有界闭域
Abstract:
对有界闭域上的线性赋值循环程序终止性问题进行研究.利用jordan标准型技术将原循环程序的终止性问题约减为终止性等价的具有简单结构的循环程序的终止性问题.证明了当线性迭代映射满足一定条件时，该类循环程序不可终止的充分必要条件是：迭代映射在有界闭域上有不动点或周期轨.
Full-Text
