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

ToDo

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