Because the processes are identical

Because the processes are identical, they are assumed to know their forks by local names. As before, we assume that each process knows its forks by the local names f (right) and f (left). We use the notation

Kết quả (Việt) 1:

Bởi vì các quy trình giống hệt nhau, họ được cho biết của forks bằng tên địa phương. Như trước đây, chúng tôi giả định rằng mỗi quá trình biết các nhánh của các địa phương tên f (phải) và f (bên trái). Chúng tôi sử dụng các ký hiệu

Kết quả (Việt) 2:

Bởi vì các quá trình là giống nhau, chúng được thừa nhận biết dĩa của họ bằng tiếng địa phương. Như trước đây, chúng tôi giả định rằng mỗi quá trình biết dĩa của nó bởi e tên địa phương (bên phải) và f (trái). Chúng tôi sử dụng các ký hiệu