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