Англійська ⇄ Російська +

labeled transition system наголоси
прогр.	система помеченных переходов (конечная ssn)
labeled transition systems
прогр.	системы помеченных переходов (ssn)