If p, q execute actions 0 and 1 one

If p, q execute actions 0 and 1 one after another, then the second action will overwrite the result of the first action. Consider two computations e0 and e1 from state T: In e1, q exe- cutes action 1 followed by a suffix that excludes any step by process p (which mimics the crash of p), and it leads to decision 1. In e0, use e1 as the suffix of the computation after action 0 (i.e., p writes). Observe that in e0, after q writes following p’s write, the state is the same as T1. To every process other than p, the two computations e0 and e1 are indistinguishable, but e0 leads to a final decision 0, whereas e1 leads to decision 1. This is impossible. Therefore, p = q.
Process p is called a decider process for the bivalent state T.

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

Если р, д выполнять действия 0 и 1 один за другим, то второе действие будет перезаписывать результат первого действия. Рассмотрим два вычисли- e0 и e1 из состояния Т: В e1, д совершаю- щая действие 1 , а затем суффикс , который исключает любой шаг за процесса р (который имитирует аварию р), и это приводит к решению 1. В e0, использование e1 в качестве суффикса вычисления после действия 0 (т.е. р пишет). Заметим , что в e0, после д записи следующие записи P, государство такое же , как T1. Для каждого процесса, кроме р, то два вычисления e0 и e1 неразличимы, но e0 приводит к окончательному решению 0, в то время как e1 приводит к решению 1. Это невозможно. Следовательно, р = д.
Процесс р называется процесс принятия решения для двухвалентного состояния T.

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

если P Q выполнить действия 0 и 1 один за другим, то вторая мера заменит результат первого действия.рассмотреть два вычислений - и е1 от государства не: в е1, Q exe - cutes действий 1 а суффикс, исключает любые шаги процесса P (которая имитирует самолета P), и это приводит к решению 1.в е0, использование е1 как буквы из расчета после 0 (например, P пишет).отмечает, что в е0 после Q пишет после "писать, государство же T1.для каждого процесса, помимо ", два -" расчеты и не отличаются, но окончательное решение, - приводит к 0, в то время как е1 приводит к решению 1.это невозможно.таким образом, p = -процесс P называют решающей процесс для bivalent государства.