论文部分内容阅读
递归论是数理逻辑的一个分支，形成于本世纪30年代。最初的任务是刻划和研究自然数的一切算法函数类。因此递归论被称为研究递归函数类或算法可计算函数类及其应用的学科。图灵机是现代计算机的原型，是一种理想机，尽管它最为简单，但是却琵完成任何大型通用计算扭所能完成的工柞。图灵机对算法概念的计算特征作了深入前刻划。‘