RL的等价性和判定性