英语 ⇄ 俄语 +

properties of finite-memory machines 强调
编程	свойства автоматов с конечной памятью (ssn)