Gurevich 将 Grover 搜索算法中的 Hadamard 门、酉变换等操作视为返回 true 的预言机调用，算法看到的只是确定性的控制流。