定理证明中有： If A has accepted x,then A'accepts x by outputting a 1.If A has not accepted x,then A'rejects x by outputting a 0. 这里面隐含了接受和判定的细微区别。你能解释一下吗？定理证明中有： 这里面隐含了接受和判定的细微区别。你能解释一下吗？