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

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