Algorithm term is a correct termina

Algorithm term is a correct termination-detection algorithm.

Proof: Assume that process 0 receives a white token. It means that
• Process 1 received a white token
• Process 1 is passive
• Process 1 did not send any message to process j, (1 < j < n − 1) Since process 1 received a white token, it means that
• Process 2 received a white token
• Process 2 is passive
• Process 2 did not send any message to process j, (2 < j < n − 1)

Результаты (русский) 1:

Термин алгоритма является алгоритм правильного завершения обнаружения.Доказательство: Предположим, что процесс 0 получает белый маркер. Это означает, что• Процесс 1 получил белый маркер• Процесс 1 пассивный• Процесс 1 не отправить любое сообщение для обработки j, (1 < j < n − 1) поскольку процесс 1 получил белый маркер, это означает, что• Процесс 2 получил белый маркер• Процесс 2 пассивный• Процесс 2 не отправить любое сообщение для обработки j, (2 < j < n − 1)

Результаты (русский) 2:

Термин Алгоритм корректного алгоритма прекращения обнаружения.

Доказательство: Предположим , что процесс 0 получает белый маркер. Это означает , что
• Процесс 1 получил белый маркер
• Процесс 1 является пассивным
• Процесс 1 не посылала никаких сообщений для обработки J, (1 <у <п - 1) Так как процесс 1 получил белый маркер, то это означает , что
• Процесс 2 получил белый маркер
• Процесс 2 является пассивным
• Процесс 2 не посылала никаких сообщений для обработки J, (2 <у <п - 1)

Результаты (русский) 3:

алгоритм срок является правильным увольнение обнаружения алгоритм.предполагается, что процесс доказывания: 0 получает белый знак.это означает, что• процесс 1 получил белый знак• процесс 1 является пассивной• процесс 1 не посылает сигнал процесса J (1 < < N - 1 j), поскольку процесс 1 получил белый знак, это означает, что• процесс 2 получил белый знак• процесс 2 является пассивной• процесс 2 не посылает сигнал процесса J, 2 (j < N - 1)