5、可判定性练习