郑锡忠.二重递归函数及其分层[J].数学研究及应用,1993,13(2):303~308
二重递归函数及其分层
Double Recursive Functions and Their Hierarchy
投稿时间:1991-03-31  
DOI:10.3770/j.issn:1000-341X.1993.02.030
中文关键词:  
英文关键词:
基金项目:国家自然科学基金资助项目.
作者单位
郑锡忠 南京大学数学系 
摘要点击次数: 1511
全文下载次数: 1360
中文摘要:
      本文讨论R.Péter[3]所提出的二重递归函数的性质,给出了二重递归函数的另一种等价刻画,即证明了二重速归函数类就是文[6]中所讨论的Z—分层函数类Z=(?).结合文[6]的结论我们便得到了关于二重递归函数类的一种Grzegorezyk型分层和一种更简单的二重递归模式.
英文摘要:
      This paper discusses the properties of double recursive functions which are defined by R.Peter in [3]. An equivalent characterization of double recursive functions is suggested, which is defined to be the class z = ∪n∈w zn of z-hierarchy. Then, a Grzegorczyk type hier-archy of double recursive functions is obtained by means of the results of [6]. Furthermore, the standard double recursion of R.Peter is reduced to a more simple scheme.
查看全文  查看/发表评论  下载PDF阅读器