計算理論

圖靈機與可計算性理論：艾倫·圖靈的思想實驗與「停機問題」