Изменения

<li value="14">'''fixed''' [[Машина Тьюринга]] (7) </li># Англоязычные термины# Добавить то, для чего она была придумана, рассказать про связь Тьюринга с Чёрчом (научную связь)# Выделить машину Тьюринга жирным в определении# Алгоритмы примеров красиво оформить# Подробней написать про машину Тьюринга с полубесконечной лентой (добавить картинку)# Добавить в многоленточной, что эмулируется многодорожечной# Рассказать весёлую историю про тезис Чёрча-Тьюринга# Заменить ссылки на источники информации# Добавить категории

<li> '''взяли!!!''' [[Примитивно рекурсивные функции]] (6) </li>

<li> '''взяли''' [[Частично рекурсивные функции]] (52) </li># См. замечания Замечание про взаимную рекурсию в обсуждениях# англоязычные термины# Дефис заменить на тире# "функция g(x_1,\ldots,x_k) = минимальное y" {{---}} плохо, когда смешиваются формулы с текстом# Заменить знаки неравенств # "неразрешимость проврк," {{---}} опечатки# Оформить правильно источники информации# Добавить категории <li> ''fixed'' [[Стековые машины, эквивалентность двухстековой машины МТ]] (0.5) </li># Интервики# Разбить доказательство на абзацы для читабельности# Добавить категории# Правильно оформить источники информации<li> ''fixed'' [[Счетчиковые машины, эквивалентность двухсчетчиковой машины МТ]] (0.5) </li># Оформить правильно источники информации# Добавить категории <li> ''fixed'' [[Линейный клеточный автомат, эквивалентность МТ]] (0.5) </li># Англоязычные термины правильно оформить# Переменные взять в Tex# Добавить категории# Оформить правильно источники информации<li> ''fixed'' [[Возможность порождения формальной грамматикой произвольного перечислимого языка]] (1) </li># внутренние ссылки# категории# Добавить см. также и источники информации