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

GC>> "Странное" тут в том, что Тьюринг допускает анализатор, который зависает сам.
GC>> И не рассматривает остальные варианты.
·>Это не допущение, а просто такое понятие, которое позволяет выразить в формальном виде проблему остановки.
Вот тут интересно. Спасибо. Надо будет ознакомится с этим поподробнее.
Оказывается, тут какое-то формальное определение есть, спасибо.

GC>> Другой (мой) вариант существования анализатора, это случай, когда анализатор всегда останавливается
GC>> и возвращает 1 или 0 в зависимости от того, зависла или нет анализируемая программа.
·>Да пожалуйста. Но теперь тебе придётся выразить проблему остановки для такого варианта анализатора.
Интересно, многого я не знал. Но выразить проблему это же не такая большая проблема?
Выразить проблему — это же задача порядка проще?