3622
правки
Изменения
м
→Разрешимые и перечислимые языки
## Оформить правильно в обе стороны доказательство теоремы
## Заменить источники на источники информации
## Добавить примеры перечислимых , коперечеслимых языков и коперечеслимых неперечислимых языков
# [[Замкнутость разрешимых и перечислимых языков относительно теоретико-множественных и алгебраических операций]]
## Чуть-чуть код форматнуть