Изменения

== 3. Теория вычислимости ==

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

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

## Отформатировать псевдокод

## Нормально оформить см. также, источники информации и вывод из теоремы

# '''!!!''' [[Машина Тьюринга]]

## Англоязычные термины

## категории

## Добавить см. также и источники информации

# '''!!!''' [[m-сводимость]]

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