R_(wtt)/ M_(wtt)中的枝点元素(英文)  

Branching Elements in R_(wtt)/M _(wtt)

作　　者：张再跃 眭跃飞[2] 

机构地区：[1]扬州大学工业学院计算机系,扬州225009 [2]中国科学院软件研究所,北京100080

出　　处：《软件学报》2000年第4期441-446,共6页Journal of Software

基　　金：This research is supported by the National Natural Science Foundation of China (国家自然科学基金 ;No.6 96 730 17)

摘　　要：该文证明了在 Rwtt/ Mwtt中除了最大元和最小元外 ,每个元 c是枝点元素 ,即为某两个大于 c的元素的最大下界 ,其中 Rwtt/ Mwtt是递归可枚举弱真值表归约度集 Rwtt模可盖递归可枚举弱真值表归约度集It is proved that every element [c]∈R wtt /M wtt except the greatest and least elements is branching in R wtt /M wtt , i.e., the greatest lower bound of some two elements greater than [c], where R wtt /M wtt is the quotient of the r.e. wtt degrees R wtt modulo the cappable r.e. wtt degrees M wtt .

关 键 词：递归可枚举度 Rwtt/Mwtt 枝点元素 

分 类 号：TP301[自动化与计算机技术—计算机系统结构]