Grzegorczyk分层的一种延伸

来源 :软件学报 | 被引量 : 0次 | 上传用户:deqiangranran
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文讨论某些递归函数类的分层问题,首先给出的是原始的Gorzegorczyk分层的一种较为简单的等价定义。然后,作为对Ackermann函数的一种推广,定义了一个递归函数序列{An}n∈w。并以此作为分层函数列定义了一种新的递归分层{Zn}n∈w,这种分层涉及了比原始递归函数类更大的一个递归函数类,实际上,原始递归函数类仅是Z-分层的第一层Z0。而且这种分层的任意的第n+1层都含有前面一层的通用函
其他文献
在体外细胞培养系统和裸鼠动物体内,观察了人肝细胞靶向性脂质体介导的部分硫代型和全部硫代型反义寡核苷酸对乙型肝炎病毒的抑制作用。结果显示,针对HBVe基因翻译起始区的18
目的观察注射用重组人肿瘤坏死因子受体-抗体融合蛋白(益赛普)对大鼠放射性肺损伤过程中TNF-α的影响,试图寻找一种预防或治疗放射性肺损伤的有效途径。方法 72只雌性SD大鼠随
本文给出了一个对象模型用以描述类PASCAL过程设计语言的静态语义(语义对象,语义依赖),讨论了基于该模型的增量静态语义分析的过程,动作,并发机制与实现手段,在文章的最后部分对模型扩充讨
目的分析目前临床上在三重酸碱失衡判断中存在的问题,完善判断方法。方法采用归拿整理的方式,将作者最近提出的各种酸碱失衡判断方法及公式相结合,用于三重酸碱失衡的判断。结果
患者女性,26岁,因“间歇性发热1月余,胸闷痛1周”入院。患者1月前无明显诱因下出现间歇性发热,最高体温39.5℃,午后为著,伴有畏寒、左侧肩背部酸痛、上腹部隐痛,无咳嗽、咳痰,无咯血,当
抗病基因的分子标记具有稳定、准确、高效的特点,通过对基因型而不是表型的直接选择,抗病基因分子标记应用于辅助选择可大大加快常规育种进程,提高育种效率.本文评述了植物抗
目的探讨经纤维支气管镜肺活检(TBLB)对弥漫性肺间质性疾病的诊断价值。方法51例弥漫性肺问质性疾病患者,在无X线电视透视下行TBLB,对临床资料及病理诊断结果进行分析。结果51例
为克服约束求解的效率问题及可靠性问题,本文提出了一种基于图结构的约束求解方法,它利用图瓣形式来表示几何元素之间的约束关系,使得几何元素的求解从整体下降 至局部,将一个方
奎尼酸是一种具有极高价值的精细化工产品和医药中间体,在医药、食品、化工等行业均有广泛的应用价值.奎尼酸广泛存在于多种植物中,其咖啡酰类衍生物在抗病毒、治疗心血管疾
这篇论文提供了一种将大型随机高级Petri网模型构造成独立子网的方法和技术。这些子网可以独立地进行性能评价,在原模型中子网可由非基本变迁进行性能等效替代,以达简化状态空间的目