Jacopini定理相关硕士博士期刊学术论文

本文引进了Ｕ－循环的概念，并证明了所有Ｕ－循环项都是易项，从而刻画了一类易项的归约性质，这对于研究停机问题具有相当意义。......