A triple describes how the execution of a piece of code changes the state of the computation.
这种三元组描述一段代码的执行如何改变计算的状态。