图灵机

无限长的纸带，被分格为无数的格子(cell)，每个格子的内容是字符表中的一个字符。
有限的字符表：每个格子存放一个字符
读写头(head)：总是指向纸带上的一个格子。
状态：图灵机当前的状态
规则(转换函数)：根据当前状态和当前指向格子的内容。决定当前指向格子的内容、读写头往哪移动(左还是右)、移动后的状态。
读写头根据字符、规则和状态，周而往复的移动。