操作语义

用一组规则描述"这个表达式下一步变成什么"。它就是解释器的数学版。