Englisch ⇄ Russisch +

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