1 Разница между малой и большой ступенью операционной семантики В чем принципиальное различие между семантикой малых и больших операций? Я с трудом понимаю, что это такое, и мотивация для того и другого. 28 semantics operational-semantics small-step-semantics