3622
правки
Изменения
м
→Разрешимые и перечислимые языки
# ''fixed'' [[Перечислимые языки]] (2)
## Добавить содержательный пример коперечислимого языка
# [[Замкнутость разрешимых и перечислимых языков относительно теоретико-множественных и алгебраических операций]] (02.5)
## Убрать лишние знаки препинания из списков в теоремах
## Заменить литературу на источники информации
