История изменений
Исправление ovk48, (текущая версия) :
ОК, в таком случае, насколько я понимаю, «фикшенная НМТ» (в которой нет бесконечных альтернативных линий) по методу этого Плоткина эквивалентна актору, описанному анонимусом (это по-моему тривиально доказывается). А требование о ее пофикшенности эквивалентно требованию анонимуса, что у него во всех акторах сообщения доставляются за конечное время.
Исходная версия ovk48, :
ОК, в таком случае, насколько я понимаю, «фикшенная НМТ» (в которой нет бесконечных альтернативных линий) по методу этого Плоткина эквивалентна актору, описанному анонимусом (это по-моему тривиально доказывается). А требование о ее пофикшенности эквивалентно требованию анонимуса, что у него во всех акторах сообщения доставлятся за конечное время.