1 Різниця між малою та великою операційною семантикою Яка принципова відмінність між малою та великою операційною семантикою? Мені важко зрозуміти, що це таке, і мотивацію їх мати. 28 semantics operational-semantics small-step-semantics