什么是图灵机?
图灵机是 1936 年艾伦·图灵发明的一台假设式计算机器.它是一台理论设备,由假设式机器组成,根据规则表来操纵带带上的符号.图灵机可以设计模拟任何计算机算法或数学函数的逻辑,使其成为计算机科学研究的基本概念.该机器有一个分为细胞的无限磁带,每个细胞可以存储一个符号.该机器通过读取当前细胞上的符号来运作,根据该符号及其当前状态,它遵循一套预定义的规则来确定其下一个状态,在当前细胞上写什么符号,以及是否移动磁带左边,右边或保持在位置上.这种过程重复,直到机器达到停滞状态,从而结束计算.图灵机通常用于探索计算机的基本能力和解决其基本问题,并提供其在计算机科学中一个正式的组成部分.