そもそも問題の条件だと何も食わせていないP'の振る舞いが未定義なので
P'(a)そのものに食わせるP'(b)が無限ループするか否かは不定