ARM微控制器与嵌入式系统

---

图灵机

• 可计算性（calculability）是指一个实际问题是否可以使用计算机来解决，定义为“可以再有限步骤内被解决的问题”（数理逻辑）
• 很多非数值问题（比如文字识别，图像处理等）都可以通过转化为数值问题来交给计算机处理
• 1936年，Alan Turing在伦敦权威的数学杂志上发表了一篇划时代的重要论文《可计算数字及其在判断性问题中的应用》
• 在这篇开创性的论文中，图灵给“可计算性”下了一个严格的数学定义，并提出著名的“图灵机”（Turing Machine）的设想。一台完全属于想象中的“计算机”!
• “图灵机”想象使用一条无限长度的纸带子，带子上划分成许多格子。 机器的运作时按逐步进行的方式，每一步由三个不同的动作组成：
  （1）在任意确定时刻，读写头对准带子上的一个方格，根据该格上的内容和机器的状态决定自己的动作；
  （2）机器可以抹去带上的原有符号，使方格保持空白或者写上另外的符号（也可以与原来相同）
  （3）然后让带子通过读写头，朝两个方向之一移动一个方格
• 机器的行为自始至终是由一个指令集所决定，它明确地指示机器每一步应该执行哪三个动作
• 整个运作从读写头是读一个方格数据开始，一旦计算结束，机器就进入一个特别的停止状态。运算过程的任何结果都被记录在带子上
• “图灵机”是一个虚拟的“计算机”，