10.3 可判定问题和归约