Изменения
Нет описания правки
В доказательстве теоремы надо сделать где-нибудь ссылку на статью про разрешимые языки.<br>
Ну и, разумеется, нет источников. [[Участник:Leugenea|Евгений Лукьянец]]
1) Переписал
2) Исправил
3) Эта программа из конспекта. Так её дал Станкевич.
4) Добавил ссылку
5) Добавил источник
