一类线性循环程序的终止性判定 |
| |
引用本文: | 余伟,赵晓燕. 一类线性循环程序的终止性判定[J]. 现代计算机, 2009, 0(7): 94-96 |
| |
作者姓名: | 余伟 赵晓燕 |
| |
作者单位: | 余伟(西华大学数学与计算机学院,成都,610039);赵晓燕(川北医学院计算机与数学教研室,南充,637007) |
| |
摘 要: | 提出一种判定这类线性循环程序是否终止的新方法,该方法通过分析循环变量每次迭代后的状态.最后得到循环条件的满足与否只是与变量的初始值和迭代的次数有关.从而判断该循环程序是否终止.根据该方法,不但能判断这一类程序是否终止.对于不是对所有输入都终止的程序,还能够给出程序终止的输入条件.
|
关 键 词: | 线性程序 终止性 程序验证 Jordan标准型 |
Termination Detemination of a Class of Linear Loop Programs |
| |
Abstract: | |
| |
Keywords: | |
本文献已被 维普 万方数据 等数据库收录! |
|