accept、reject以外の状態があることは
ゲーデルが1931年に、チューリングが1936年にそれぞれ発表してますよ、ヤマジン先生