本文研究得到国家自然科学基金资助.
本文引进了u-循环的概念,并证明了所有u-循环项都是易项.从而刻画了一类易项的归约性质,这对于研究停机问题具有相当意义.
The authors introduced the concept of U—cyclic in this paper,and it is proved that all U—cyclical terms are easy terms.So that the reductiveness on a class of easy teams is given.Moreover this property is important to researching halt problem.
黄且圆,蒋颖,赵希顺,王驹.U-循环项与易项*.软件学报,1996,7(zk):178-183
京公网安备 11040202500063号