程序(代码) 任何进程与一个程序相关 控制和数据状态 大多数程序基于命令式机器模型,中心 概念是状态更新。 个命令式程序可看成是一个状态机 (或一个自动机)。 哈尔滨工业大学计算机科学与技术学院哈尔滨工业大学计算机科学与技术学院 ◼程序(代码) ◼ 任何进程与一个程序相关。 ◼ 控制和数据状态 ◼ 大多数程序基于命令式机器模型，中心 概念是状态更新。 ◼ 一个命令式程序可看成是一个状态机 (或一个自动机)