=== ToDo === «Пусть L : {{---tick}} перечислимый.» А дальше программа. Думаю, стоит написать, что эта полуразрешающая программа для него.<br>англоязычные термины и источникиВ коде <tex>g_0(i)</tex> есть запуск <tex>p</tex> от <tex>i</tex>. Насколько я знаю, у <tex>p</tex> аргумент : {{---tick}} это слово языка, а не индекс.<br>Я, кажется, не дурак, но я не смог понять вторую программу в таком виденаписать про классы RE, в котором она есть. ВероятноR, стоит написать какиеco-нибудь комментарии?<br>На лекциях мы обозначали символом <tex>\perp</tex> зависаниеRE. А здесь сказано, что это какой-то отдельный символ.<br>В доказательстве теоремы надо сделать где-нибудь ссылку на статью про разрешимые языки.<br>Ну и, разумеется, нет источников. [[Участник:LeugeneaDgerasimov|Евгений ЛукьянецДмитрий Герасимов]] 1) Переписал 2) Исправил 3) Эта программа из конспекта. Так её дал Станкевич. 4) Добавил ссылку 523:50, 8 декабря 2012 (GST) Добавил источник
