半递归集
【词语拼音】bàn dì guī jí
【词语繁体】半遞歸集
【词语结构】ABCD式词语
【词语字数】四字词语
【网络解释】
半递归集(semi-recursive set)递归集概念的推广.半递归集有两种不同的涵义,在一般递归论中它指递归可枚举集(re集);但在不可解度理论中,它通常指杰克什(Jockusch, C. G.)引进的如下概念:一集合A为半递归,是指存在二元递归函数f,使得.f (.x , y > -.x或.f(.},y>=y,并且.}EAVyEA=>f(二,户EA.对后一涵义而言,递归集都是半递归集,且半递归集的补集也是半递归的.此外,半递归的reT完备集也是Q完备的.
递归集递归集合图递归集递归递归,递推递归,递推递归可枚举集递归论递归性递归法尾递归归集传递集递归估计递归过程递归调用递归分析递归定理递归数列递归类型递归滤波递归查询递归语言无限递归递归关系递归序数递归程序递归缩写递归方法递归函数递归算法归愚集归纳集回归集指归集归庄集半低集递归运算法半夏当归递递半球集团成本归集链回归集集市归来归集资金保集半岛原始递归函数部分递归函数一般递归函数递兴递废递递迢迢递胜递负点点递递万善同归集集体归属感集装箱半挂半…半…递变递易层递苕递流递递兴迤递递宿递日递互递更递卒递流递人递换快递递升递带递顿递进水递条递速递递训递直蜗递递谢递增递盏步递递铺顿递递衍递杀递禅投递嬗递迎递递转