Turing-Machine

チューリングマシンと計算可能性理論：アラン・チューリングの思考実験と「停止性問題」