首页> 中文期刊> 《软件学报》 >Grzegorczyk分层的一种延伸

Grzegorczyk分层的一种延伸

         

摘要

本文讨论某些递归函数类的分层问题,首先给出的是原始的Gorzegorczyk分层的一种较为简单的等价定义。然后,作为对Ackermann函数的一种推广,定义了一个递归函数序列{An}n∈w。并以此作为分层函数列定义了一种新的递归分层{Zn}n∈w,这种分层涉及了比原始递归函数类更大的一个递归函数类,实际上,原始递归函数类仅是Z-分层的第一层Z0。而且这种分层的任意的第n+1层都含有前面一层的通用函

著录项

相似文献

  • 中文文献
  • 外文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号