Nó rất dễ dàng để thấy rằng các thuật toán LehmannRabin đảm bảo tốt-formedness, loại trừ, và tiến bộ độ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.
đang được dịch, vui lòng đợi..
