אנגלית ⇄ רוסית +

labeled transition system מתח
.תִכנו	система помеченных переходов (конечная ssn)
labeled transition systems
.תִכנו	системы помеченных переходов (ssn)