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