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