Здравствуйте, fin_81, Вы писали:

_>Хочешь сказать, что МТ может легко определить конечный цикл и бесконечный цикл за конечное время (количество атомарных операций)?

МТ этого не может. Я хочу сказать, что МТ — и есть то, что реализует наш потенциальный цикл.

_>Определение цикла можно дать в терминах МТ (вроде). А вот как определить бесконечность в терминах МТ?

Период времени "в терминах МТ" есть упорядоченное множество всех конфигураций МТ (состояние + текущий символ на ленте + положение головки), имеющих место в процессе вычисления на конкретных данных. Соответственно, бесконечный период времени -есть бесконечное упорядоченное множество всех конфигураций МТ ... и далее по тексту.