英语 ⇄ 俄语 +

each pair of transitions from the individual timed automata 强调
编程	каждая пара переходов отдельных временных автоматов (ssn)