Изменения

* Машина тьюринга Тьюринга, которая может выполнить бесконечное число шагов.::Один из математических способов &mdash; Машина Зенона. Машина Зенона выполняет свой первый шаг за <tex dpi=150> \displaystyle 1 </tex> минуту, следующий шаг за <tex dpi=150> \displaystyle \frac{1}{2}</tex> минуты, следующий за <tex dpi=150> \displaystyle \frac{1}{4}</tex> и т.д.::Суммируя <tex dpi=150> \displaystyle 1+\frac{1}{2}+\frac{1}{4}...\dots</tex> (геометрическая прогрессия) мы видим, что машина выполняет бесконечно количество шагов за 2 минуты.

*Artificial Recurrent Neural Network <ref>[http://en.wikipedia.org/wiki/Recurrent_neural_network Wikipedia {{---}} Artificial Recurrent Neural Network]</ref>. ::В 1994 Хава Сигельманн доказала, что ее новая вычислительная модель the Artificial Recurrent Neural Network (ARNN), может выполнить гипервычисления, используя бесконечную точность. Также она предложила модель, основанную на бесконечной эволюции нейронных сетей, способную проводить гипервычисления.

::Техника, известная как неограниченный детерминизм, может позволять вычисление невычислимых функцийпозволяет вычислять невычислимые функции. Это вопрос является предметом обсуждения в литературе.*Использование замкнутых времениподобных кривых<ref>[https://ru.wikipedia.org/wiki/%D0%97%D0%B0%D0%BC%D0%BA%D0%BD%D1%83%D1%82%D0%B0%D1%8F_%D0%B2%D1%80%D0%B5%D0%BC%D0%B5%D0%BD%D0%B8%D0%BF%D0%BE%D0%B4%D0%BE%D0%B1%D0%BD%D0%B0%D1%8F_%D0%BA%D1%80%D0%B8%D0%B2%D0%B0%D1%8F Википедия {{---}} Замкнутая времениподобная кривая]</ref>, вопреки распространённому мнению, не позволяет выполнять сверхтьюринговые вычисления, так как отсутствует бесконечный объём памяти.

'''<tex> p(M,x){:}</tex>''' записать 0 в первую ячейку на второй ленте ленте

Стоит заметить, что проблема останова для самой машины Зенона не может быть решена на самой машине Зенона. Хоть программы со счётным числом операций работают конечное время, всё равно программа на МЗ может зависнуть.

МЗ может вывести одну бесконечную последовательность за конечное время, конечное число последовательностей за конечное время, и А MЗ за бесконечное время выведет только не более чем счётное число последовательностей. Известномножество таких поиследовательностей, что так как не более чем счётное объединение не более чем счётных множеств является не более чем счётных. То есть за бесконечное время МЗ не выведет все бесконечные двоичные последовательностисчётным. Значит, МЗ может зависнуть. Выходит, Поэтому для по аналогичным для неё МТ рассуждениям проблема останова для МЗ неразрешима.

Существует несколько десятков проектов супертьюринговых машин. :