半递归集的拼音及读音

网络释义

半递归集(semi-recursive set)递归集概念的推广.半递归集有两种不同的涵义，在一般递归论中它指递归可枚举集(re集);但在不可解度理论中，它通常指杰克什(Jockusch, C. G.)引进的如下概念:一集合A为半递归，是指存在二元递归函数f,使得.f (.x , y > -.x或.f(.},y>=y，并且.}EAVyEA=>f(二，户EA.对后一涵义而言，递归集都是半递归集，且半递归集的补集也是半递归的.此外，半递归的reT完备集也是Q完备的.