图灵机（英语：Turing machine），又称确定型图灵机，是英国数学家艾伦·图灵于1936年提出的一种抽象计算模型，其更抽象的意义为一种数学逻辑机，可以看作等价于任何有限逻辑数学过程的终极强大逻辑机器。 目录 1图灵的基本思想 ...

Richard Karp发明了缩写记号P，用来表示有好算法的判定问题。P类的正式定义是指，能在多项式时间内由一台单带图灵机解决的问题，换言之，如果输入带上的符号数目为n，那么必定存在指数k和常数C，保证图灵机经过至多Cnk步以后必然停机。当然，这种定义相当好，单带图灵机可以替换为多带图灵机 ...

开头声明：仅为了学习经典知识，不敢妄评科学家的伟大成就。 图灵机：将计算过程分解成控制程序（程序）和输入数据（带有数字的纸带）两个部分，控制程序根据：自身状态 + 输入数据 做出相应动作，并从理论上证明了一个问题是可被解的（可以进入停机状态）。整体上看，就是把一个计算问题分解成了非常简单、容易 ...

近期，Google Deep Mind团队提出了一个机器学习模型，并起了一个特别高大上的名字：神经网络图灵机，我为大家翻译了这篇文章，翻译得不是特别好，有些语句没读明白，欢迎大家批评指正 原论文出处：http://arxiv.org/pdf/1410.5401v1.pdf ...