英语 ⇄ 俄语 德语 +

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