|
软件学报 1994
AN EXTENSION OF Grzegorczyk''s HIERARCHY
|
Abstract:
本文讨论某些递归函数类的分层问题.首先给出的是原始的Gorzegorczyk分层的一种较为简单的等价定义.然后,作为对Ackermann函数的一种推广,定义了一个递归函数序列{An}n∈ω.并以此作为分层函数列定义了一种新的递归分层{Zn}n∈ω(即Z—分层),这种分层涉及了比原始递归函数类更大的一个违归函数类.实际上,原始递归函数类仅是Z—分层的第一层Z0.而且这种分层的任意的第n+1层都含