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

теорема об универсальной машине Тьюринга מתח
.מָתֵי	universal Turing machine theorem (lxu5)