For example, Sipser showed that there is a language M such that BPPM (BPP with oracle M) has no complete problems.
舉例來說，Sipser證明了存在一個語言M令BPPM (BPP加上一個M的諭示) 是沒有完備問題的。