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