Изменения

=== Разрешимые и перечислимые языки ===

# [[Разрешимые (рекурсивные) языки]]

## Добавить содержательный пример коперечислимого языка

# [[Замкнутость разрешимых и перечислимых языков относительно теоретико-множественных и алгебраических операций]] (0.5)

## Категории

# [[Вычислимые функции]]

## Правильно оформить англоязычные термины

## Пояснить a(eps) в определении

## Пояснить нотацию про U(n, x) и U_n(x)

## Заголовки внутри конспекта поправить

## Почему языком L_g(i,x) будет X? Как i связано с X?

## И вообще доказательство можно сделать чуть менее мутным :)