>>92
再帰を忘れてるぜ。
P'の引数としてのxが任意である以上再帰の問題がある。
再帰を用いるとすべての組み合わせっていうのが無限になりうるから決定不可能。

>>37が学校で習った事を適当な理解で意訳して書いたのが問題の始まりって気がするな。