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

Материал из Викиконспекты
Перейти к: навигация, поиск
(ToDo)
 
(sta)
 
(не показаны 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)