计算机科学理论
文章平均质量分 86
zhaoyaozong
这个作者很懒,什么都没留下…
展开
-
计算模型总结
计算模型主要包括,图灵机、递归函数、λ演算、马尔科夫算法等。图灵机图灵机,又称确定型图灵机,是英国数学家阿兰·图灵于1936年提出的一种抽象计算模型,其更抽象的意义为一种数学逻辑机,可以看作等价于任何有限逻辑数学过程的终极强大逻辑机器。目录 [隐藏] 1 图灵的基本思想2 图灵机的正式定义3 图灵机的基本术语4 图灵机的例子5 通用图灵机6 图灵机原创 2013-10-27 21:21:38 · 15286 阅读 · 0 评论 -
图灵之确定型图灵机
图灵机图灵机,又称确定型图灵机,是英国数学家阿兰·图灵于1936年提出的一种抽象计算模型,其更抽象的意义为一种数学逻辑机,可以看作等价于任何有限逻辑数学过程的终极强大逻辑机器。图灵的基本思想图灵的基本思想是用机器来模拟人们用纸笔进行数学运算的过程,他把这样的过程看作下列两种简单的动作:在纸上写上或擦除某个符号;把注意力从纸的一个位置移动到另一个位置;原创 2013-10-30 23:17:54 · 3827 阅读 · 0 评论 -
图灵之非确定型图灵机
非确定型图灵机如果不加特殊说明,通常所说的图灵机都是确定型图灵机。非确定型图灵机和确定型图灵机的不同之处在于,在计算的每一时刻,根据当前状态和读写头所读的符号,机器存在多种状态转移方案,机器将任意地选择其中一种方案继续运作,直到最后停机为止。具体而言,其状态转移函数为其中是状态集合,是带字母表,分别表示读写头向左和向右移动;符号 表示集合的幂集,即原创 2013-10-30 23:24:35 · 6547 阅读 · 0 评论 -
停机问题
停机问题停机问题(halting problem)是逻辑数学中可计算性理论的一个问题。通俗的说,停机问题就是判断任意一个程序是否会在有限的时间之内结束运行的问题。如果这个问题可以在有限的时间之内解决,那么就可以有一个程序判断其本身是否会停机。但是,在程序停止之前,没有办法判断它会不会停止。所以这是一个不可解的问题。艾伦·图灵在1936年证明了,一个可以解决停机问题的通用算法是不原创 2013-10-30 23:26:56 · 1013 阅读 · 0 评论