Anglais ⇄ Russe +

state transitions depend on whether some condition or sequence occurs contraintes
progr.	переходы между состояниями зависят от некоторых условий или последовательностей их выполнения (ssn)