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

• 作者: 卢朝辉 宋文 陈晓亮
• 来源期刊: 计算机工程与科学
• 学科: 工学
• 关键词: 图灵机 递归调用 模型 计算 算法
• 年，卷（期）: 2008,（10）
• 所属期刊栏目: 研究与实现
• 页码范围: 153-155,159
• 页数: 4页
• 分类号: TP301.6
• 字数: 4477字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-130X.2008.10.051

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	卢朝辉	河北理工大学计算机与自动控制学院	7	13	2.0	3.0
2	宋文	西华大学数学与计算机学院	35	113	6.0	9.0
3	陈晓亮	西华大学数学与计算机学院	10	52	3.0	7.0