%0 Journal Article %T u-循环项与易项* %A 黄且圆? %A 蒋颖? %A 赵希顺? %A 王驹? %J 软件学报 %P 178-183 %D 1996 %X 本文引进了u-循环的概念,并证明了所有u-循环项都是易项.从而刻画了一类易项的归约性质,这对于研究停机问题具有相当意义. %K u-循环项 %K 易项.tacopini定理. %U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=1996s125&flag=1