标准图灵机
例子：
构造设计如下：
还剩下最关键的转移函数。
可以根据一个例子，走一遍。
图灵论题
标准图灵机变种
带不动选择的图灵机
单向无穷带图灵机
离线图灵机
多带图灵机
其转移函数需要改为：
可以认为是输入串会复制在多个带上，小理解：如果是2带的话，显然其可以模拟离线图灵机，保持另外一个带只读就好了。
多维图灵机
小结：以上各种图灵机均没有使得表达能力更强，而是和标准图灵机等价。
非确定性图灵机
例子
通用图灵机
看了这么久，给大家看一个笑话开心一下
通用图灵机产生的想法：
怎么做到？
注意上述的编码是对作为输入的那个图灵机（作为客）编码，通用图灵机（作为主或叫载体）不需要编码。
下图一清二楚。
进一步解释：
3556
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
