英语 ⇄ 俄语 +

representation of state spaces by nondeterministic programs 强调
编程	представление пространств состояний посредством недетерминированных программ (ssn)