串行线性赋值循环程序的终止性判定

Termination of Serial linear Assignment Loop Programs

对于并行赋值的线性循环程序,已有文献通过矩阵特征值方法来判定其终止性,但该方法并不适用于常见的串行赋值程序。该文通过把串行赋值程序转换为并行赋值的程序,再利用矩阵特征值和特征向量来对程序的终止性作出判定,从而扩大了该方法的应用范围。

For linear loop programs with parallel assignment,the existing literature determined its termination through matrix eigenvalue method,but the method can’t apply to the daily programs with serial assignment.This paper converts programs with parallel assignment to programs with serial assignment,and then use the eigenvalues and eigenvectors method to determine the termination of the program,so the field of application of this method is expanded.