英语 ⇄ 俄语 +

use of state machine for specification 强调
编程	использование конечного автомата для спецификации (напр., поведения системы ssn)