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