Английский ⇄ Немецкий Русский +

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