基于图灵机的递归技术的实现

作     者：陈晓亮 卢朝辉 宋文 CHEN Xiao-liang;LU Zhao-hui;SONG Wen

作者机构：西华大学数学与计算机学院四川成都610039 河北理工大学计算机与自动控制学院河北唐山063009 

出 版 物：《计算机工程与科学》 (Computer Engineering & Science)

年 卷 期：2008年第30卷第10期

页      码：153-155,F0003页

摘      要：图灵机是通用的计算机模型,一般程序设计和以图灵机为机器模型的计算也是支持递归的。本文首先分析了递归的特征,利用多带图灵机作为计算模型,定义了递归技术转移函数形式,提出了图灵机递归过程信息传递与保存的方法,给出了图灵机调用的实现,继而给出了图灵机递归技术的实现,同时证明了图灵机的调用与图灵机的递归调用是图灵可识别的。

主 题 词：图灵机 递归调用 模型 计算 算法 

学科分类：08[工学] 081202[081202] 0812[工学-测绘类] 

核心收录：

D　O　I：10.3969/j.issn.1007-130X.2008.10.051

馆 藏 号：203140925...