主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公编辑办公English
2018-2019年专刊出版计划 微信服务介绍 最新一期:2019年第9期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
郑锡忠,钱磊.Grzegorczyk分层的一种延伸.软件学报,1994,5(3):55-64
Grzegorczyk分层的一种延伸
AN EXTENSION OF Grzegorczyk's HIERARCHY
投稿时间:1991-07-22  修订日期:1991-12-21
DOI:
中文关键词:  分层,Grzeyorczyk分层,Z—分层
英文关键词:Hierarchy  Grzegorczyk's hierarchy  Z-hierarchy.
基金项目:国家自然科学基金
作者单位
郑锡忠 南京大学南京 210008 
钱磊 南京航空学院南京 210016 
摘要点击次数: 2563
全文下载次数: 2504
中文摘要:
      本文讨论某些递归函数类的分层问题.首先给出的是原始的Gorzegorczyk分层的一种较为简单的等价定义.然后,作为对Ackermann函数的一种推广,定义了一个递归函数序列{An∈ω.并以此作为分层函数列定义了一种新的递归分层{Zn∈ω(即Z—分层),这种分层涉及了比原始递归函数类更大的一个违归函数类.实际上,原始递归函数类仅是Z—分层的第一层Z.而且这种分层的任意的第n+1层都含
英文摘要:
      This paper discusses the hierarchies of some classes of recursive functions. A simple equivalent definition of original Grzegorczyk's hierarchy is presented at first. Then the authors define by the generalization of Ackermann's function a sequence of recursive functions {An∈ω, based on which they define hierarchy, {Zn∈ω(the Z-hierarchy)of a class of recursive functions which is much larger than the class of primitive recursive functions.The first level Z of this hierarchy is just the class of primitive recursive functions.For all n, Zn+1 contains the universal function of its predecessor Zn. A refinement {Zin,i∈ωof Z-hierarchy is defined at last by the natural hierarchy of each Zn. The refinement on ZO is same as the original Grzegorczyk's hierarchy. This shows that their Z-hierarchy and its refinement are really a natural extension of Grzegorczyk's hierarchy.
HTML  下载PDF全文  查看/发表评论  下载PDF阅读器
 

京公网安备 11040202500064号

主办单位:中国科学院软件研究所 中国计算机学会 京ICP备05046678号-4
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利