图灵机由一条无限长的纸带、一个读写头和一张有限状态转移表构成，每一步动作由当前状态与读到的符号唯一决定。