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

bisimulation of the quotient model מתח
.תִכנו	бисимуляция фактор-модели (ssn)