Изменения

способная «вычислять» [[Вычислимые функции | невычислимые функции ]] или решать алгоритмически [[Примеры неразрешимых задач: проблема соответствий Поста | неразрешимые проблемы]].

* Машина тьюринга Тьюринга, которая может выполнить бесконечное число шагов.::Один из математических способов &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>, вопреки распространённому мнению, не позволяет выполнять сверхтьюринговые вычисления, так как отсутствует бесконечный объём памяти. 

Некоторые функции, которые не могут быть вычислены на машине Тьюринга, могут быть вычислены с использованием машины Зенона. Например, на ней может быть решена проблема остановки (что иллюстрируется следующим псевдокодом): Будем использовать двуленточную машину Зенона. На одной ленте будем симулировать машину Тюринга, а на второй записывать результат. '''zeno machine<tex> p(TuringMachineM, input x){:}</tex>''' записать 0 в первую ячейку на второй ленте в TuringMachine; '''начало циклаwhile'''''true'': смоделировать очередной шаг работы данной машины Тьюринга на данном входе;на первой ленте '''еслиif''' машина Тьюринга остановилась, '''то''' : записать 1 в первую ячейку на ленте в TuringMachine и '''прервать циклbreak'''; '''конец цикла''' return'''вернуть первую ячейку ленты в TuringMachine''' '''конец программы'''на второй ленте

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

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

* [[Вычислимые функцииСтековые машины, эквивалентность двухстековой машины МТ]]