英语 ⇄ 俄语 +

labeled transition system 强调
编程	система помеченных переходов (конечная ssn)
labeled transition systems
编程	системы помеченных переходов (ssn)