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