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

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

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

Цель — сгенерировать все наборы данных, на которых заданная МТ останавливается, а не выдать пустой результат за конечное время. Это уже усложнение начальной задачи.