=== 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|Евгений ЛукьянецДмитрий Герасимов]]23::1) Переписал::2) Исправил::3) Эта программа из конспекта. Так её дал Станкевич.::4) Добавил ссылку::550, 8 декабря 2012 (GST) Добавил источник
