English ⇄ Russian +

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