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

effectively enumerable formulas מתח
.מָתֵי	эффективно перечислимые формулы