Сообщение Re[3]: Обратная проблема останова от 31.01.2016 15:50
Изменено 31.01.2016 15:51 vsb
Здравствуйте, ·, Вы писали:
vsb>> KV>Доказать/опровергнуть разрешимость обратной проблемы останова (построить МТ, которая по заданной МТ генерирует все наборы данных, на которых та останавливается)
vsb>> Перебираем все наборы данных. Для каждого набора запускаем новый поток. В этом потоке запускаем исследуемую МТ. Если она останавливается — выводим данный набор.
·>Этот подход неправильно сработает для программы "while(true){}" — т.к. она зависает для всех наборов данных, то эта МТ должна выдать пустой результат, а она зависнет.
Цель — сгенерировать все наборы данных, на которых заданная МТ останавливается, а не выдать пустой результат за конечное время.
vsb>> KV>Доказать/опровергнуть разрешимость обратной проблемы останова (построить МТ, которая по заданной МТ генерирует все наборы данных, на которых та останавливается)
vsb>> Перебираем все наборы данных. Для каждого набора запускаем новый поток. В этом потоке запускаем исследуемую МТ. Если она останавливается — выводим данный набор.
·>Этот подход неправильно сработает для программы "while(true){}" — т.к. она зависает для всех наборов данных, то эта МТ должна выдать пустой результат, а она зависнет.
Цель — сгенерировать все наборы данных, на которых заданная МТ останавливается, а не выдать пустой результат за конечное время.
Re[3]: Обратная проблема останова
Здравствуйте, ·, Вы писали:
vsb>> KV>Доказать/опровергнуть разрешимость обратной проблемы останова (построить МТ, которая по заданной МТ генерирует все наборы данных, на которых та останавливается)
vsb>> Перебираем все наборы данных. Для каждого набора запускаем новый поток. В этом потоке запускаем исследуемую МТ. Если она останавливается — выводим данный набор.
·>Этот подход неправильно сработает для программы "while(true){}" — т.к. она зависает для всех наборов данных, то эта МТ должна выдать пустой результат, а она зависнет.
Цель — сгенерировать все наборы данных, на которых заданная МТ останавливается, а не выдать пустой результат за конечное время. Это уже усложнение начальной задачи.
vsb>> KV>Доказать/опровергнуть разрешимость обратной проблемы останова (построить МТ, которая по заданной МТ генерирует все наборы данных, на которых та останавливается)
vsb>> Перебираем все наборы данных. Для каждого набора запускаем новый поток. В этом потоке запускаем исследуемую МТ. Если она останавливается — выводим данный набор.
·>Этот подход неправильно сработает для программы "while(true){}" — т.к. она зависает для всех наборов данных, то эта МТ должна выдать пустой результат, а она зависнет.
Цель — сгенерировать все наборы данных, на которых заданная МТ останавливается, а не выдать пустой результат за конечное время. Это уже усложнение начальной задачи.