>  (1) xが無限ループするなら停止し、
>  (2) xが無限ループにならないならわざと無限ループする
ここが x(x) の間違いなんじゃないの