在图灵机中，一个给定机器的“程序”认为是机器内的五元组（qiSjSkRql）或（qiSjSkLql）或（qiSjSkNql）形式的指令集，五元组定义了机器在一个特定状态下读入一个特定字符时所采取的动作