本文详细介绍了图灵机的正式定义，包括转移方程、图表示法、接受与拒绝机制，并探讨了几个关键性质。接着讨论了递归与递归可枚举语言的区别。通过实例展示了图灵机如何处理DFA不可接受的语言和写数字。最后，分享了一些图灵机的实用技巧，如使用检查标记、插入元素、有限控制信息以及多轨道图灵机的概念。
除了DFA有的 read、move、change state之外，还多了write操作
1 正式定义
1.1 转移方程
direction可以是tape向左、向右、不动
1.2 图表示图灵机
状态为q的时候，看到字符a，那么会转移到状态p，将字符a改成b，同时tape向左移动一格
1.3 图灵机的接受
当一个语言w到达过 ，那么图灵机就能接受这个语言
1.4 图灵机的拒绝
1.5 几个判断
1.5.1 Can the tape alphabet Γ be the same as the input alphabet Σ?
No. Σ never contains blank , but Γ always contains blank. So they cannot be equal.
1.5.2 Can a Turing machine contain just a single state?
No. Any Turing machine must contain two distinct states
最低0.47元/天 解锁文章
扫一扫
850
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
