チューリングマシンで解ける命題が与えられるとき、その問題を bf で解くことができるか判定するプログラム | ScratchStats