We argue that every arrow is eventu

We argue that every arrow is eventually eliminated unless it is the only one in the system. We start with a →. A → is eliminated when it meets a ← (Table 17.1, case b) or another → (Table 17.1, case d). From Lemma 17.4, it follows that every → eventually moves to the right until it meets a ← or reaches process n − 1. In the first case, two arrows are eliminated. In the second case, the → is transformed into a ← after which the ← eventually moves to the left until it meets a → or a ←. In the first case (Table 17.1, case d), both arrows are eliminated, whereas in the second case (Table 17.1, case g), one arrow disappears and the ← is transformed into a →. Thus, the number of arrows progressively goes down. When the number of arrows is reduced to one, the system reaches a legal configuration.

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

Мы утверждаем, что каждая стрелка окончательно ликвидирована, если он не является единственным в системе. Мы начинаем с →. → удаляется, когда он встречает ← (Таблица 17.1, случай b) или другой → (Таблица 17.1, случай d). Из "ЛЕММА" 17.4 следует, что каждый → в конечном итоге движется вправо до тех пор, пока он встречает ← или достигает процесса n − 1. В первом случае будут устранены две стрелки. Во втором случае → превращается ← после чего ← в конечном итоге перемещается влево до тех пор, пока он встречает → или ←. В первом случае (Таблица 17.1, случай d) обе стрелки устранены, в то время как во втором случае (Таблица 17.1, case g) исчезает одна стрелка и ← превращается в →. Таким образом число стрел постепенно снижается. Когда число стрелок уменьшается до одной, система достигает правовой конфигурации.

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

Мы утверждаем, что каждая стрелка в конце концов устранена, если она не является единственным в системе. Мы начинаем с →. A → устраняется, когда он встречает ← (таблица 17.1, случай б) или другое → (таблица 17.1, случай г). Из леммы 17.4 следует, что каждое → в конечном итоге перемещается вправо, пока он не встречает ← или достигает процесса п - 1. В первом случае две стрелки будут устранены. Во втором случае, → превращается в ← после чего ← в конце концов, движется влево, пока он не встречает → или ←. В первом случае (таблица 17.1, случай г), обе стрелки будут устранены, тогда как во втором случае (таблица 17.1, случай г), одна стрелка исчезает, и ← превращается в →. Таким образом, число стрелок постепенно снижается. Когда число стрелок сводится к одному, то система достигает правовой конфигурации.

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

мы утверждаем, что все стрелки в конечном итоге ликвидировать, если он является единственным в системе.мы начнем с →.а → исчезает, когда он встречает ← (таблица 17.1, b) или другой → (таблица 17.1, дело D).от лемма 17,4, это означает, что каждая - в конечном итоге движется вправо до тех пор, пока она не отвечает ← или достигает процесс N - 1.в первом случае две стрелки, устранены.во втором случае, → превращается в ←, после чего ← в конечном итоге движется влево до тех пор, пока она не отвечает - или ←.в первом случае (таблица 17.1, дело D), как стрелы были ликвидированы, а во втором случае (таблица 17.1, дело g), одного стрелка, исчезает и ← превращается *.таким образом, число стрелки постепенно падает.в тех случаях, когда число стрелки, сокращается до одного, система достигает правовой структуры.