Изменения
Нет описания правки
Некоторые функции, которые не могут быть вычислены на машине Тьюринга, могут быть вычислены с использованием машины Зенона. Например, на ней может быть решена проблема остановки (что иллюстрируется следующим псевдокодом):
'''zenoMachine(TuringMachine, input )'''
смоделировать очередной шаг работы данной машины Тьюринга на данном входе;
'''еслиif''' (машина Тьюринга остановилась, ) '''то{''' записать TuringMachine[1] = 1 в первую ячейку на ленте в TuringMachine и '''break''' '''прервать цикл}'''; '''конец цикла}''' '''вернуть первую ячейку ленты в return TuringMachine[1]''' '''конец программы}'''
Такие вычисления, выходящие за рамки возможности машины Тьюринга, называются гипервычислениями.
