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