formula_19的意义是由formula_15的意义和formula_28的意义定义的。假如我们还有状态的布尔函数表示formula_32的话我们可以定义指令的语义：formula_33这样的定义允许对程序行为进行公式化的分析和研究程序间的关系。由于结构操作语义看上去非常易懂，结构简单，因此它获得了很大的欢迎，实际上成为定义操作语义的标准。结构操作语义最初的报告因此获得了约900次引用，成为计算机科学中被引用最多的技术报告之一。