Formally, the object described by t

Formally, the object described by this code is a probabilistic I//O automaton, as defined in Section 8.8. The random choice steps are exactly the flip steps; in- stead of a new state, each of these steps has a probability distribution containing 1 Note that system execution two possible next states, each with probability ~. proceeds by means of a combination of nondeterministic choices and probabilistic choices. The nondeterministic choices determine which process takes the next step and thereby determine what the next step is, whereas the probabilistic choices determine the new state for flip steps.

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

Chính thức, đối tượng được mô tả bởi đoạn mã này là một xác suất tôi / / O automaton, như được định nghĩa trong phần 8.8. Các bước lựa chọn ngẫu nhiên là chính xác các bước lật; trong sự ổn của một nhà nước mới, mỗi người trong các bước này có một phân phối xác suất có chứa 1 lưu ý rằng hệ thống thực hiện hai có thể tiếp theo tiểu bang, mỗi với xác suất ~. tiền thu được bằng phương tiện của một sự kết hợp của sự lựa chọn nondeterministic và xác suất lựa chọn. Các lựa chọn nondeterministic xác định quá trình đó mất bước tiếp theo và qua đó xác định những gì bước tiếp theo là, trong khi những lựa chọn xác suất xác định nhà nước mới nhất flip bước.

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

Về hình thức, đối tượng được mô tả bởi mã này là một xác suất Tôi // O tự động, theo quy định tại mục 8.8. Các bước lựa chọn ngẫu nhiên là chính xác các bước lật; thay trong- của một nhà nước mới, từng bước có một phân bố xác suất có chứa 1 Lưu ý rằng việc thực thi hệ thống hai trạng thái tiếp theo, mỗi với xác suất ~. tiền thu được bằng phương tiện của một sự kết hợp của sự lựa chọn toán không đơn định và lựa chọn theo xác suất. Các lựa chọn nondeterministic xác định quá trình có bước tiếp theo và từ đó xác định những bước tiếp theo là, trong khi lựa chọn xác suất xác định trạng thái mới cho bước flip.