英语 ⇄ 俄语 +

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