可計算性理論經過創建計算的數學模型,精確區分哪些是可計算的,哪些是不可計算的.
可計算性理論肯定了哪些問題可能用計算機解決,哪些問題是不可能用計算機解決的.
編程
圖靈機嚴格來說是一種數學模型,計算理論模型. 定義了計算機能力邊界:有限步驟內能夠獲得答案的問題.架構
馮·諾依曼體系結構確立了當代計算機硬件的基礎架構.
運算器,控制器+存儲器+輸入,輸出設備cdn
圖靈機是一個思惟實驗,而馮諾依曼機則是這個思惟實驗的"物理實現".blog
馮諾依曼機也要存儲程序計算機.2個特色:內存