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

бисимуляционно эквивалентная модель Крипке מתח
.תִכנו	bisimulation equivalent Kripke structure (ssn)