| 摘要: |
| 本文引进了u-循环的概念，并证明了所有u-循环项都是易项．从而刻画了一类易项的归约性质，这对于研究停机问题具有相当意义． |
| 关键词: U-循环项,易项．Tacopini定理． |
| DOI： |
| 分类号: |
| 基金项目:本文研究得到国家自然科学基金资助. |
|
| U-CYCLICALTERM AND EASY TERM |
|
Huang Qieyuan,Jiang Ying,Zhao Xishun,Wang Ju
|
| Abstract: |
| 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． |
| Key words: U—cyclical term,easyterm,Jaeopini's theorem． |
