54
правки
Изменения
Нет описания правки
Что за бред вообще с последней программой? Говорится про перечислитель, написан полуразрешитель.<br>
А ещё меня глобально не устраивают эти фигурные скобки в каждой теореме. [[Участник:Leugenea|Евгений Лукьянец]]
Возможно исправил.
[[Участник:Roman Livarsky|Рома]]
=== ToDo2 ===
Полуразрешители для объединения, замыкания Клини и конкатенации языков неверные.<br>
Волевым решением я считаю, что надо приводить либо полуразрешитель, либо перечислитель, потому что мы умеем делать из одного другое.<br>
В конце: «Тогда имея какое-либо слово» {{---}} продолбана запятая.<br>
«…мы знаем, что существуют перечислимые, но не разрешимые языки…» {{---}} сделать ссылку на соответствующий факт. [[Участник:Leugenea|Евгений Лукьянец]]
Исправил полуразрешитель для объединения. Для всех языков оставил только полуразрешитель. Сделал ссылку. [[Участник:Roman Livarsky|Рома]]
Исправил полуразрешитель для Клини и конкатенации. [[Участник:Roman Livarsky|Рома]]
