廖苑蓉, 陈光喜. 一类非线性循环程序的终止性[J]. 微电子学与计算机, 2013, 30(11): 51-55.
引用本文: 廖苑蓉, 陈光喜. 一类非线性循环程序的终止性[J]. 微电子学与计算机, 2013, 30(11): 51-55.
LIAO Yuan-rong, CHEN Guang-xi. Termination of a Class of Non-linear Loop Programs[J]. Microelectronics & Computer, 2013, 30(11): 51-55.
Citation: LIAO Yuan-rong, CHEN Guang-xi. Termination of a Class of Non-linear Loop Programs[J]. Microelectronics & Computer, 2013, 30(11): 51-55.

一类非线性循环程序的终止性

Termination of a Class of Non-linear Loop Programs

  • 摘要: 提出一类非线性循环程序的终止性是可以判定的。该类程序的终止性与其赋值矩阵的正特征值相对应的特征向量有关。然后提出了一种新的判定这类程序终止性的方法,该方法跟循环迭代的次数和变量的初始赋值息息相关。通过这个方法,不但能判定这一类程序是否终止,还能对不是所有初始值都终止的程序,给出能使该程序终止的初值建议。

     

    Abstract: The termination of a class of non-linear loop program can be determined.The category of the program termination assignment matrix with positive eigenvalues related to the corresponding feature vector.Then proposed a new method to determine the type of program termination,the method is closely related with the initial assignment of loop iterations and variables.By this method,not only able to determine whether to terminate this category program,but also on not all the initial values are the termination procedures,given recommendations enables the initial value of the program terminates.

     

/

返回文章
返回