editor
177
правок
Изменения
ToDo
=== ToDo ===
«Пусть L {{---}} перечислимый.» А дальше программа. Думаю, стоит написать, что эта полуразрешающая программа для него.<br>
В коде <tex>g_0(i)</tex> есть запуск <tex>p</tex> от <tex>i</tex>. Насколько я знаю, у <tex>p</tex> аргумент {{---}} это слово языка, а не индекс.<br>
Я, кажется, не дурак, но я не смог понять вторую программу в таком виде, в котором она есть. Вероятно, стоит написать какие-нибудь комментарии?<br>
На лекциях мы обозначали символом <tex>\perp</tex> зависание. А здесь сказано, что это какой-то отдельный символ.<br>
В доказательстве теоремы надо сделать где-нибудь ссылку на статью про разрешимые языки.<br>
Ну и, разумеется, нет источников. [[Участник:Leugenea|Евгений Лукьянец]]
«Пусть L {{---}} перечислимый.» А дальше программа. Думаю, стоит написать, что эта полуразрешающая программа для него.<br>
В коде <tex>g_0(i)</tex> есть запуск <tex>p</tex> от <tex>i</tex>. Насколько я знаю, у <tex>p</tex> аргумент {{---}} это слово языка, а не индекс.<br>
Я, кажется, не дурак, но я не смог понять вторую программу в таком виде, в котором она есть. Вероятно, стоит написать какие-нибудь комментарии?<br>
На лекциях мы обозначали символом <tex>\perp</tex> зависание. А здесь сказано, что это какой-то отдельный символ.<br>
В доказательстве теоремы надо сделать где-нибудь ссылку на статью про разрешимые языки.<br>
Ну и, разумеется, нет источников. [[Участник:Leugenea|Евгений Лукьянец]]
