摘要
本文将对递归可枚举度构造中的几种主要无穷损害方法──真步集方法、树构造方法、弹球机方法等作一框架性的描述,从而探讨其内在联系与区别。并为今后对上述方法建立起统一的理论机制做一些准备和尝试。
In this paper,we attempt to build up some freme skechs for inflnitaryin jury construction used in recursive enumeration sets and degrees.Such as the true stagemethod, tree construction method and the pinball machine method。
出处
《云南师范大学学报(自然科学版)》
1995年第3期19-25,共7页
Journal of Yunnan Normal University:Natural Sciences Edition
基金
云南省科委青年应用基础研究基金
关键词
递归论
无穷损害法
递归可枚举度
框架模式
recursive enumeration degrees(r.e. degrees) requiremes finite(infinite )injury true stage tree the pinball machine