Обсуждение:Перечислимые языки

ToDo

«Пусть L — перечислимый.» А дальше программа. Думаю, стоит написать, что эта полуразрешающая программа для него.
В коде [math]g_0(i)[/math] есть запуск [math]p[/math] от [math]i[/math]. Насколько я знаю, у [math]p[/math] аргумент — это слово языка, а не индекс.
Я, кажется, не дурак, но я не смог понять вторую программу в таком виде, в котором она есть. Вероятно, стоит написать какие-нибудь комментарии?
На лекциях мы обозначали символом [math]\perp[/math] зависание. А здесь сказано, что это какой-то отдельный символ.
В доказательстве теоремы надо сделать где-нибудь ссылку на статью про разрешимые языки.
Ну и, разумеется, нет источников. Евгений Лукьянец

       1) Переписал
       2) Исправил
       3) Эта программа из конспекта. Так её дал Станкевич.
       4) Добавил ссылку
       5) Добавил источник