段。其它类似的手段包括提供形式语义学，包括公理语义学和指称语义。一个计算机语言的操作语义描述一段合理的程序是怎样被理解为一系列计算机步骤的。这些步骤就是这个程序的意义。在函数程式语言中一段终结性的序列在最后一步的返回程序的值。（由于一个程序可能是非非决定的，一般来说一个程序能够有许多不同的计算步骤和许多不同的返回值。）操作语义最早被用来定义的语义。下面这句话引用修正的报告：一个使用严格语言编写的程序的意义是通过一个假设的计算机来执行该程序的组成部分时完成的行动来解释的。（Algol68，第二章）