It is easy to see that the LehmannR

It is easy to see that the LehmannRabin algorithm guarantees well formed, exclusion, and independent progress; there is no probability involved in any of these claims. Formally, they are claims about the nondeterministic version of the system, as defined in Section 8.8. However the progress condition is not guaranteed with certainty.

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

Nó rất dễ dàng để thấy rằng LehmannRabin thuật toán đảm bảo tốt hình thành, loại trừ, và tiến trình độc lập; có là không có khả năng tham gia vào bất kỳ của những tuyên bố này. Chính thức, họ đang yêu cầu về phiên bản nondeterministic của hệ thống, như được định nghĩa trong phần 8.8. Tuy nhiên tình trạng tiến triển không đảm bảo chắc chắn.

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

Nó rất dễ dàng để thấy rằng những đảm bảo thuật toán LehmannRabin cũng được hình thành, loại trừ, và tiến bộ độc lập; không có khả năng tham gia vào bất kỳ các khiếu nại. Chính thức, họ tuyên bố về phiên bản toán không đơn định của hệ thống, như quy định tại mục 8.8. Tuy nhiên điều kiện tiến bộ không được bảo đảm một cách chắc chắn.