操作语义 描述一段程序的含义是通过执行该段程序所改变的计 算机(虚拟计算机)状态来反映。这个计算机的状态与 程序执行时的状态相对应:包括变量的所有值,可执行 程序本身,各种系统定义的内部数据结构。计算机里所 有的奇存器的值和存储单元的值作为计算机的状态,用 组形式定义的操作来说明执行一条指令相应的状态怎 样变化 For(expr; expr 2; expr3 expr Loop: if expr 2=0 goto out expr 3 goto loop out操作语义 描述一段程序的含义是通过执行该段程序所改变的计 算机（虚拟计算机）状态来反映。这个计算机的状态与 程序执行时的状态相对应：包括变量的所有值，可执行 程序本身，各种系统定义的内部数据结构。计算机里所 有的寄存器的值和存储单元的值作为计算机的状态，用 一组形式定义的操作来说明执行一条指令相应的状态怎 样变化。 For (expr1;expr2;expr3){ expr1; ... Loop:if expr2=0 goto out } … expr3; goto loop out: