История изменений
Исправление ovk48, (текущая версия) :
но если все возможные деревья потенциально завершаются, значит недетерминизм ограничен
Так не все завершаются. Но те, которые завершаются, в рассматриваемой задаче эквивалентны актору. Причем ветка, которая закончилась через N шагов, эквивалентна актору, сгенерировавшему стоп через N шагов. А раз есть те, которые завершаются, то НМТ решает задачу.
Тут налуркал, что каждая НМТ еще и эквивалентна некоторой ДМТ (если подумать хорошенько, то это очевидно). А это совсем хорошо.
Исходная версия ovk48, :
но если все возможные деревья потенциально завершаются, значит недетерминизм ограничен
Так не все завершаются. Но те, которые завершаются, в рассматриваемой задаче эквивалентны актору. Причем ветка, которая закончилась через N шагов, эквивалентна актору, сгенерировавшему стоп через N шагов.