In our formal model, there is one u

In our formal model, there is one user and one agent process for each philoso- pher. As usual, the user decides when to request and return the resources, and the agent process performs the algorithm. The exclusion specification for n dining philosophers consists of the two- element sets {{i,i + 1} 9 1 < i < n} together with all sets containing them.

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

Trong mô hình chính thức của chúng tôi, là một người sử dụng và một trong những đại lý quá trình cho mỗi philoso pher. Như thường lệ, người sử dụng quyết định khi yêu cầu và trả lại các nguồn tài nguyên, và quá trình nhân viên thực hiện các thuật toán. Đặc điểm kỹ thuật của loại trừ cho n ăn nhà triết học bao gồm hai bộ {{i, i + 1} 9 1 < tôi < n} cùng với tất cả các tập có chứa chúng.