We will represent L • i by drawing

We will represent L • i by drawing a → from process i − 1 to process i and R • i by drawing a ← from process i + 1 to process i. Thus, any process with an enabled guard has at least one arrow pointing toward it.
For a process i (0 < i < n − 1), the possible moves fall exactly into one of the seven cases in part (a) of Table 17.1. Each entry in the columns precondition and postcondition represents the states of the three processes (i − 1, i, i + 1) before and after the action by process i. Note that x ∈ {0, 1, 2, 3}, and all + operations are mod 4 operations.
Case (a) represents the move when a → is transferred to the right neighbor. Case (e) shows the move when a ← is transferred to the left neighbor. Cases (c) and (f) show how a → can be converted to a ←, and vice versa. Finally, cases (b), (d), and (g) correspond to moves by which the number of enabled guards is reduced. Note that in all seven cases, the total number of enabled guards is always nonincreasing.
Part (b) of Table 17.1 shows a similar list for the two processes 0 and n − 1. Case (h) lists the states of processes 0 and 1, and case (k) lists the states of processes n − 2 and n − 1. Process 0 transforms a ← to a →, and process n − 1 transforms a → to a ←. These two pro- cesses thus act as reflectors. Once again, the number of enabled guards does not increase.

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

Мы представляем L • i путем рисования → от процесса i − 1 для обработки i и R • i путем рисования ← от процесса i + 1 процесс я. Таким образом любой процесс с включенной охранник имеет хотя бы одну стрелку, указывающую его.Для процесса i (0 < i < n − 1), возможные ходы попадают именно в один из семи случаев в части (a) таблицы 17.1. Каждая запись в столбцах предусловия и постусловия представляет состояния трех процессов (i − 1, i, i + 1) до и после действия процесса и обратите внимание, что x ∈ {0, 1, 2, 3} и все + операции являются mod 4 операции.Случай представляет переход, когда → переходит на правый сосед. Случай (e) показывает ход, когда ← передается левого соседа. Чехлы (c) и (f) Показать, каким образом можно преобразовать → ← и наоборот. И наконец случаи (b), (d) и (g) соответствуют ходы, по которым уменьшается число включенных охранников. Обратите внимание, что во всех семи случаях общее число включенных охранников всегда nonincreasing.Часть (b) таблицы 17.1 показывает аналогичный список для двух процессов 0 и n − 1. Случай (h) перечисляет состояния процессов 0 и 1, и случай (k) перечисляет состояния процессов n − 2 и n − 1. Процесс преобразования 0 a ← →, и процесс n − 1 преобразует → ←. Эти два про цессы выступать в качестве отражателей. Еще раз число включенных охранников не увеличивается.

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

Мы будем представлять L • Я рисуя → от процесса я - от 1 до процесса я и R • я рисуя ← из процесса я + 1 до процесса я. Таким образом, любой процесс с включенным охранник имеет по крайней мере одну стрелку , указывающую к нему.
Для процесса I (0 <г <п - 1), возможные ходы попадают точно в одну из семи случаев в части (а) таблицы 17.1 , Каждая запись в столбцах предусловия и постусловия представляет состояния трех процессов (I - 1, I, I + 1) до и после действий процесса я. Заметим , что X ∈ {0, 1, 2, 3}, и все операции являются + мод 4 операции.
Случай (а) представляет собой движение , когда → переносится на правую соседа. Случай (е) показывает ход , когда ← передается на левый сосед. Случаи , (с) и (е) показывают , как → может быть преобразован в ←, и наоборот. И, наконец, случаи (б), (d), и (г) соответствуют движется по которому количество включенных охранников снижается. Обратите внимание , что во всех семи случаях, общее число включенных охранников всегда невозрастающим.
Часть (б) Таблица 17.1 показывает аналогичный список для двух процессов 0 и п - 1. Случай (ч) перечислены состояния процессов 0 и 1 , и случай (к) перечисляет состояния процессов п - 2 и п - 1. процесс 0 преобразует ← к →, и процесс п - 1 преобразует → к ←. Эти две процессы , таким образом , выступают в качестве отражателей. Еще раз, количество включенных охранников не увеличивается.

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

мы будем представлять L - я, проведя - из процесса, я - 1 для процесса я и R - я, проведя ← из процесса я + 1 до процесса. таким образом, любой процесс с позволила охрана имеет по крайней мере одна стрелка указывает на это.в процессе я (0 < я < N - 1), возможных ходов попадают именно в один из семи дел в части а) таблица 17.1.каждая запись в колонках, условия и postcondition представляет государствами трех процессов (я - 1, я + 1) до и после решения отмечают, что процесс. х ∈ {0, 1, 2, 3}, и все + операций mod 4 операции.дело (а) представляет собой переход, когда → передается право соседа.(E) показывает ход, когда ← передается оставила соседа.случаев (с) и f) показывают, как → могут быть преобразованы в ←, и наоборот.и, наконец, случаев (b), d) и g) соответствующие шаги, которые позволили сократить число охранников.следует отметить, что во всех семи дел, общее количество позволило охранников всегда nonincreasing.часть (b) таблица 17.1 показывает аналогичный перечень для двух процессов, 0 - N - 1.дело (h) списки государств процессов 0 и 1, и дело (k) перечисляются государства процессов N - 2 и N - 1.процесс 0 преобразует ← к →, и процесс N - 1 преобразует - на ←.эти два Pro - cesses таким образом действовать в качестве светоотражателей.еще раз, количество позволило охранников не увеличится.