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

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

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