一类线性循环程序的终止性判定  

Termination Detemination of a Class of Linear Loop Programs

作　　者：余伟[1] 赵晓燕[2] 

机构地区：[1]西华大学数学与计算机学院,成都610039 [2]川北医学院计算机与数学教研室,南充637007

出　　处：《现代计算机》2009年第7期94-96,共3页Modern Computer

摘　　要：提出一种判定这类线性循环程序是否终止的新方法,该方法通过分析循环变量每次迭代后的状态,最后得到循环条件的满足与否只是与变量的初始值和迭代的次数有关,从而判断该循环程序是否终止。根据该方法,不但能判断这一类程序是否终止,对于不是对所有输入都终止的程序,还能够给出程序终止的输入条件。Proposes a new method to solve the problem by analyzing the states of loop variables after iterations, and finds that whether linear programs terminate relying only on initial values of variables and iteration count. Based on such analysis, we can determine whether the linear program terminates. Through our method, we can also put forward the condition of linear programs terminates ff they do not always terminate on all inputs.

关 键 词：线性程序 终止性 程序验证 JORDAN标准型 

分 类 号：TP311.11[自动化与计算机技术—计算机软件与理论]