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

use of state machine for specification מתח
.תִכנו	использование конечного автомата для спецификации (напр., поведения системы ssn)