1 小步操作语义与大步操作语义之间的区别 小步操作语义与大步操作语义之间的根本区别是什么？ 我很难理解它的含义和两者的动机。 28 semantics operational-semantics small-step-semantics