אנגלית ⇄ רוסית +

small-step operational semantics מתח
.תִכנו	операционная семантика с малым шагом (ssn)