Здравствуйте, fin_81, Вы писали:
_>Жду конфигурацию МТ, которая строит целые числа (-inf, +inf), пока без алгебры.
Что такое "строит"?

_>>>Чем отличается дефинишн конечного алгоритма от детекшн в МТ?
S>>Всем.
_>А именно?
Определение — это формальная конструкция, описывающая свойства определяемого объекта.
Детектирование — это процесс проверки конкретного объекта на предмет наличия соответствующих свойств.

S>>Вы намекаете на неформальное определение алгоритма, которое подразумевает конечность?
_>Неформальное? Вроде как раз у бесконечных алгоритмов большие проблемы с формализацией.
Ну да, неформальное. Собственно МТ, ЧРФ, и лямбда-исчисление и появились в результате попыток формализовать понятие "алгоритм".
У Тьюринга аналогом понятия алгоритм как раз является конкретная МТ. Любая МТ описывает некое вычисление. В том числе и та, которая аналогична 10 GOTO 10.
К сожалению, не все такие вычисления когда-либо заканчиваются.