Hãy xem xét một thực hiện một số LehmannRabin trong đó các quá trình thực hiện các bước theo thứ tự roundrobin và luôn luôn làm cho những lựa chọn ngẫu nhiên cùng một. Lưu ý rằng c ~ là một thực hiện công bằng (của nondeterministic Phiên bản của hệ thống). Không có một, quá trình bao giờ đạt đến C.
đang được dịch, vui lòng đợi..
