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

formal decidability מתח
.מָתֵי	формальная разрешимость