Second, we show how meaningful prob

Second, we show how meaningful probabilistic claims can be made for ran- domized asynchronous systems. It is not obvious how to do this, because a randomized algorithm does not by itself give rise to a probability distribution on executions. For instance, the order in which processes take steps in an asyn- chronous algorithm is rather arbitrary, not determined randomly. This order must be determined somehow in order to define a probability distribution.

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

Thứ hai, chúng tôi chỉ yêu cầu xác suất có ý nghĩa như thế nào có thể được thực hiện cho các hệ thống domized chạy không đồng bộ. Nó là không rõ ràng làm thế nào để làm điều này, bởi vì một thuật toán ngẫu nhiên không phải của chính nó cho tăng tới một phân bố xác suất ngày hành quyết. Ví dụ, theo thứ tự mà trong đó quá trình thực hiện các bước trong thuật toán asyn-chronous là khá tùy ý, không xác định được một cách ngẫu nhiên. Thứ tự này phải được xác định bằng cách nào đó để xác định một phân bố xác suất.

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

Thứ hai, chúng ta thấy làm thế nào tuyên bố xác suất có ý nghĩa có thể được thực hiện cho các hệ thống không đồng bộ ngẫu Random. Nó không phải là rõ ràng làm thế nào để làm điều này, bởi vì một thuật toán ngẫu nhiên thông tin này không làm phát sinh một phân bố xác suất trên hành quyết. Ví dụ, thứ tự mà các quá trình thực hiện các bước trong một thuật toán chronous asyn- được khá tùy tiện, không được xác định một cách ngẫu nhiên. Lệnh này phải được xác định bằng cách nào đó để xác định một phân bố xác suất.