Operational semantics - перевод на русский и значение