計算可能性理論

停止性問題	停止性問題, 計算可能性理論, アラン・チューリング
計算可能性理論	理論, 計算可能性理論, チューリングマシン