什麼奠定了可計算性的理論基礎?wangbumin2021-10-07 11:30:02

圖靈機計算模型對現代計算機的貢獻主要是:建立了圖靈機的理論模型,奠定了“可計算性”理論的基礎;提出了圖靈測試,闡述了機器智慧的概念。

所謂的圖靈機就是指一個抽象的機器,它有一條無限長的紙帶,紙帶分成了一個一個的小方格,每個方格有不同的顏色。有一個機器頭在紙帶上移來移去。機器頭有一組內部狀態,還有一些固定的程式。在每個時刻,機器頭都要從當前紙帶上讀入一個方格資訊,然後結合自己的內部狀態查詢程式表,根據程式輸出資訊到紙帶方格上,並轉換自己的內部狀態,然後進行移動。

圖靈機的意義:它證明了通用計算理論,肯定了計算機實現的可能性,同時它給出了計算機應有的主要架構;