Anglais ⇄ Allemand Russe +

state transition relation contraintes
progr.	отношение перехода на состояниях (графа ssn)
state-transition relation
progr.	отношение изменения состояния (ssn); ST-отношение (ssn)