收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

四元图灵机与五元图灵机的等价性

王强  
【摘要】:图灵机是图灵(A.Turing)于1936年提出的一种数学模型,它很好地描述了计算过程。本文给出了两种常见图灵机的等价性的证明,并给出两个例子验证了这种等价性。

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 张瑜;;项目教学法在Excel课程中的应用[J];出国与就业(就业版);2011年17期
2 赵雪;;使用Excel统计高校教师授课学时数[J];科教新报(教育科研);2011年24期
3 李爱军;;浅析函数递归调用的应用[J];办公自动化;2011年16期
4 谢雨君;;EXCEL数据查询方法探讨[J];硅谷;2011年16期
5 魏屹东;樊岳红;;遵守规则与人工智能——维特根斯坦与图灵人工智能理论的交集[J];山西大学学报(哲学社会科学版);2011年05期
6 刘德强;;函数和存储过程在分组统计中的应用[J];电脑知识与技术;2011年18期
7 陈磊;;SQL Server 2000中CASE语句与函数的综合运用[J];考试周刊;2011年41期
8 令小怀;;指针:C语言的重要概念和特色[J];考试周刊;2011年44期
9 耿文;;Excel在煤田地质资料数字化及统计中的应用[J];煤;2011年06期
10 张海粟;张松林;陈桂生;;基于受限生成过程模型的计算涌现分析[J];计算机科学;2011年07期
11 张启英;;在Excel文档中应用Visual Basic命令按钮[J];数字技术与应用;2011年07期
12 陈庆祝;贺严;蔡家乐;魏章勇;周治文;;EXCEL在村级血吸虫病查病资料中的应用[J];热带医学杂志;2011年06期
13 韦伟;;利用Excel实现考试成绩的统计分析[J];电子商务;2011年08期
14 李奕权;郑利龙;;墙的另一面——图灵模型更深层次的思考[J];计算机科学;2011年09期
15 刘悦;;使用Excel设计实现生活饮用水水质监测报告[J];中国管理信息化;2011年16期
16 潘伟雄;阮竹;刘崇微;;用于5DX FT-IR的分峰原理与程序编制[J];实验技术与管理;1987年03期
17 张银奎;;转储分析之系统挂在DPC[J];程序员;2010年07期
18 李楠;;浅谈初学者应掌握的有关C语言的特殊点[J];黑龙江科技信息;2011年15期
19 刘班;;基于Django快速开发社会化网络书签系统(二)——首页的实现[J];电脑编程技巧与维护;2011年15期
20 郭海新;;Unity3D与HTML交互机理的研究[J];煤炭技术;2011年09期
中国重要会议论文全文数据库 前10条
1 王强;;四元图灵机与五元图灵机的等价性[A];’2004计算机应用技术交流会议论文集[C];2004年
2 万涛;蒋寅;朱海明;;Akcelik函数在天津市交通量分配中的应用研究[A];规划创新:2010中国城市规划年会论文集[C];2010年
3 蒿敬波;殷建平;张波云;;基于通用图灵机模型的病毒判定性定理证明[A];2005年全国理论计算机科学学术年会论文集[C];2005年
4 杨诚;杨传启;;基于粒子群算法的PID参数优化[A];第七届工业仪表与自动化学术会议论文集[C];2006年
5 常宏伟;;WINDOWS2000/XP下的端口读写操作[A];2006年全国LED显示技术应用及产业发展研讨会论文集[C];2006年
6 刘亚平;周子亮;年立群;;非负模糊数值B-函数及其性质(英文)[A];中国系统工程学会模糊数学与模糊系统委员会第十一届年会论文选集[C];2002年
7 付晓东;;和声学功能与色彩的概念辨析[A];全国和声复调教学研讨会论文汇编[C];2010年
8 叶西;;一种抑制天线阵旁瓣的自适应滤波技术[A];2009年全国无线电应用与管理学术会议论文集[C];2009年
9 阮先波;邵永亮;郑加昌;;利用Excel绘制圆管相贯展开图[A];'2009全国钢结构学术年会论文集[C];2009年
10 姜华彪;;Fuzzy函数的Fuzzy幂级数展开[A];模糊数学和系统成果会论文集[C];1991年
中国博士学位论文全文数据库 前10条
1 李敏;复杂机械基于数据的建模与故障诊断[D];太原理工大学;2010年
2 陈文宇;形式语言与自动机理论若干问题研究[D];电子科技大学;2009年
3 母丽华;煤矿安全预警系统的方法研究[D];哈尔滨工程大学;2010年
4 姚定俊;分红及若干相关随机控制问题研究[D];华东师范大学;2010年
5 王星炜;组合多项式的对数凹性质[D];南开大学;2010年
6 徐钊;自守L-函数在特殊点的非零问题[D];山东大学;2011年
7 邢秀梅;非线性方程的Lagrange稳定性[D];南京大学;2012年
8 魏庆来;基于近似动态规划的非线性系统最优控制研究[D];东北大学;2009年
9 董银峰;非平稳信号处理方法的改进及在地震工程中的应用研究[D];重庆大学;2010年
10 刘瑞银;基于趋势性的剂量反应研究[D];东北师范大学;2011年
中国硕士学位论文全文数据库 前10条
1 郑世秋;高中生函数意识的培养初探[D];辽宁师范大学;2004年
2 宋骏豪;基于SPH方法的间断现象的数值模拟研究[D];广西师范大学;2010年
3 张丽霞;求解不等式约束优化问题的一个非线性Lagrange函数[D];辽宁师范大学;2010年
4 陈晓亮;基于计算模型的系统建模与验证[D];西华大学;2010年
5 杨亚飞;Markov链的Martin边界与瞬时态的个数[D];郑州大学;2011年
6 梁海丽;群体自组织行为与群体协作[D];北方工业大学;2010年
7 许丹晔;中美高中函数课程比较研究[D];上海师范大学;2010年
8 朱琳琳;求解约束优化问题的两个非线性Lagrange函数[D];辽宁师范大学;2010年
9 娜仁格日乐;中日高中函数内容的比较研究[D];内蒙古师范大学;2012年
10 申雪莹;关于随机互补问题的一类新模型[D];大连理工大学;2012年
中国重要报纸全文数据库 前10条
1 潮州市职业技术学校 杨煌;浅谈求函数值域的方法[N];潮州日报;2009年
2 通讯员 杨晓萍 记者 陈敬农;函数演绎预测北京抗非形势[N];科技日报;2003年
3 宋志明;用函数会更简单[N];中国电脑教育报;2004年
4 才永新;我来帮你学函数[N];中国电脑教育报;2002年
5 孙元敏 山东省烟台市烟台日报社;IF函数在财务工作中的应用[N];财会信报;2010年
6 ;名师讲解经典必考题型(二)[N];电脑报;2005年
7 文山县第一高级中学 何学琼;函数解析式的求法[N];云南经济日报;2009年
8 广东 杨国华;Delphi巧用函数获取日期[N];电脑报;2004年
9 特级教师 李增福;函数[N];山西科技报;2002年
10 北京161中学 魏国元 韦昀;小程序的大功用[N];计算机世界;2009年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978