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

nondeterministic Kripke structure מתח
.תִכנו	недетерминированная модель Крипке (ssn)