半递归集(semi-recursive set)递归集概念的推广.半递归集有两种不同的涵义,在一般递归论中它指递归可枚举集(re集);但在不可解度理论中,它通常指杰克什(Jockusch, C. G.)引进的如下概念:一集合A为半递归,是指存在二元递归函数f,使得.f (.x , y > -.x或.f(.},y>=y,并且.}EAVyEA=>f(二,户EA.对后一涵义而言,递归集都是半递归集,且半递归集的补集也是半递归的.此外,半递归的reT完备集也是Q完备的.
河南辉县的词语属性 拼音h nn hu xin拼音字母he nan hui xian拼音首字母hnhx 河南辉县的百科含义 辉县市,隶属于河南省新乡市。辉县市地处豫晋接壤地区,北依太行,南眺黄河。辉县市总面积2007平方公里,人口84万,辖2个街道、11个镇、9个乡,共有536个行政村。是全国首批新农