By assumption, at least one of the

By assumption, at least one of the processes 0..i has an enabled guard, and process i + 1 does not make an action. We will designate the three possible moves by process i as move 1, move 2, and move 3. The following cases exhaust all possibilities:
Case 1: If move 1 is of type (a), (b), (d) or (g), the result follows immediately.
Case 2: If move 1 is of type (e) or (f), after move 1, the condition s[i] = s[i + 1] holds. In that case, move 2 must be of type (a), and the result follows immediately.
Case 3: If move 1 is of type (c), after the first move, the condition s[i + 1]= s[i] + 1 mod 4 holds. In this case, move 2 must be of types (b), (e), (f) or (g). If cases (b) and (g) apply, the


result follows from case 1. If cases (e) and (f) apply, then we need a move 3 of type (a) as in Case 2, and the number of enabled guards in processes 0..i will be reduced. ◾

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

По предположению, по крайней мере , один из процессов 0..i имеет включенную охрану, и процесс я + 1 не делает действие. Мы будем обозначать три возможных ходов от процесса I как шаг 1, 2 двигаться, и двигаться 3. Следующие случаи исчерпывают все возможности:
Случай 1: Если шаг 1 типа (а), (б), (d) или ( г), результат следует немедленно.
Случай 2: Если шаг 1 типа (е) или (F), после хода 1 условие s [I] = s [I + 1] имеет место. В этом случае переместите 2 должен быть типа (а), и результат сразу следует.
Случай 3: Если шаг 1 типа (с), после первого хода, условие S [I + 1] = s [я ] + 1 по модулю 4 имеет место. В этом случае переместить 2 должны быть типов (б), (д), (е) или (ж). Если случаи (б) и (г) применяются, то


результат следует из случая 1. Если случаи (е) и (е) применяются, то нам нужно двигаться 3 типа (а) , как и в случае 2, и количество включенных охранники в процессах 0..i будет сокращено. ◾

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

на предположение, по меньшей мере один из процессов 0.. я не позволила охрана, и процесс я + 1 не провести акцию.мы будем назначать три возможные шаги процесса я как шаг 1, 2 и 3 двигаться, двигаться.следующие случаи исчерпать все возможности:случай 1: если шаг 1 типа (a), b), d) или (г), результат следует немедленно.случай 2: если шаг 1 типа (е) и f), после перехода 1, состояние S [я] = S (i + 1] проводит.в этом случае шаг 2, должно быть, типа (A), и результат следует немедленно.вариант 3: если шаг 1 типа (c) после того, как первый шаг, состояние S [i + 1] = S [я] + 1) 4 проводит.в этом случае шаг 2, должно быть, типа b), e), f) и g).если дела (b) и g) применять,в результате следующее дело 1.если дела (e) и f) применять, то мы должны шаг 3 типа (a), как в случае 2, и число позволило охранников в процессах 0.. я, будут сокращены.◾