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.

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

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