排序方式: 共有3条查询结果,搜索用时 0 毫秒
1
1.
针对判定一个程序终止性的经典方法Ranking函数法,运用半代数系统的概念,把程序终止性问题转换为求半代数系统的Ranking函数.然后运用符号计算工具DISCOV-ERER和Farkas引理,求出函数参数存在的充分必要条件,并根据符号计算理论的方法自动合成Ranking函数.通过计算代数理论的证明和试验的验证,并与其他方法做了比较,这种方法是高效合理的. 相似文献
2.
单重线性循环程序的终止性问题已被广泛研究,而有关非线性循环终止性判定的结果甚少.利用不动点理论研究了n维单重非线性循环的终止性问题,并建立了相应的符号判定算法,同时,对几类特殊循环的终止性进行了分析,得出了相应的结论. 相似文献
3.
单重线性循环程序的终止性问题已被广泛研究,而有关非线性循环终止性判定的结果甚少。利用不动点理论研究了n维单重非线性循环的终止性问题,并建立了相应的符号判定算法。同时,对几类特殊循环的终止性进行了分析,得出了相应的结论。 相似文献
1