Обсуждение:Замкнутость разрешимых и перечислимых языков относительно теоретико-множественных и алгебраических операций — различия между версиями

Материал из Викиконспекты
Перейти к: навигация, поиск
(ToDoAndDoAndDo)
 
Строка 8: Строка 8:
 
Что за бред вообще с последней программой? Говорится про перечислитель, написан полуразрешитель.<br>
 
Что за бред вообще с последней программой? Говорится про перечислитель, написан полуразрешитель.<br>
 
А ещё меня глобально не устраивают эти фигурные скобки в каждой теореме.    [[Участник:Leugenea|Евгений Лукьянец]]
 
А ещё меня глобально не устраивают эти фигурные скобки в каждой теореме.    [[Участник:Leugenea|Евгений Лукьянец]]
 +
 +
Исправил.
 +
[[Участник:Roman Livarsky|Рома]]

Версия 06:32, 19 декабря 2011

ToDo

«РазрешАтель». Ты серьёзно?
Разрешимые языки, [math]L_{1}^*[/math]: во-первых, мы должны посмотреть не на одно разбиение, а на все возможные (кстати, как написано в описании, но не в коде), во-вторых, там в коде бред написан.
Разрешимые языки, [math]L_1 L_2[/math]: в коде тоже не перебираются разбиения.
Не понятно, зачем в полуразрешителе для пересечения тайм-лимиты.
То же самое для полуразрешителя для [math]L_1 \times L_2[/math].
Для языка [math]L_{1}^*[/math] по аналогии с разрешимостью. Разбиения не перебираются. Ну и тоже бред в коде. Ну и в описании тоже бред: какой тайм-лимит, если его нет??
Что за бред вообще с последней программой? Говорится про перечислитель, написан полуразрешитель.
А ещё меня глобально не устраивают эти фигурные скобки в каждой теореме. Евгений Лукьянец

Исправил. Рома