Turing machine
ラドーは "n"-状態ビジービーバー・ゲームには well-defined な「優勝」チューリングマシンが存在することを示した：