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

vsb> KV>Доказать/опровергнуть разрешимость обратной проблемы останова (построить МТ, которая по заданной МТ генерирует все наборы данных, на которых та останавливается)

vsb> Перебираем все наборы данных. Для каждого набора запускаем новый поток. В этом потоке запускаем исследуемую МТ. Если она останавливается — выводим данный набор.
Этот подход неправильно сработает для программы "while(true){}" — т.к. она зависает для всех наборов данных, то эта МТ должна выдать пустой результат, а она зависнет.