1 작은 단계와 큰 단계의 동작 시맨틱의 차이점 작은 단계와 큰 단계의 동작 의미론의 근본적인 차이점은 무엇입니까? 나는 그것이 무엇인지 파악하고 두 가지를 갖는 동기를 얻는 데 어려움을 겪고 있습니다. 28 semantics operational-semantics small-step-semantics