當前位置:歷史故事大全網 - 圖書館 - 淩解決了什麽是計算,什麽是可計算性等重要問題,提出了淩機和淩的模型。

淩解決了什麽是計算,什麽是可計算性等重要問題,提出了淩機和淩的模型。

圖靈解決了什麽是計算,什麽是可計算性等重要問題,提出了圖靈機模型和圖靈測試,因此被稱為BD。

電腦之父

計算機科學之父

博弈論之父c

人工智能之父d

壹,

圖靈機又稱圖靈計算機,是指壹種抽象機器。英國數學家艾倫?馬西森。圖靈(1912-1954)在1936中提出,人們抽象出用紙和筆進行數學運算的過程,壹個虛擬機代替人類進行數學運算。

它有壹條無限長的紙帶,紙帶被分成小方塊,每個方塊有不同的顏色。有壹個機頭在紙帶上來回移動。機頭有壹套內部狀態和壹些固定程序。

每壹刻,機頭都要從當前紙帶讀入壹個網格信息,然後結合自身內部狀態查程序表,根據程序輸出信息到紙帶網格,轉換自身內部狀態,然後移動。

對於任何圖靈機,因為它的描述是有限的,我們總是可以用某種方式把它編碼成壹個字符串。我們用代表圖靈機m的代碼。

我們可以構造壹個特殊的圖靈機,它接受任意圖靈機M的代碼,然後模擬M的運算,這種圖靈機叫做通用圖靈機。

現代電子計算機實際上就是這樣壹種通用圖靈機的模擬。它可以接受壹個描述其他圖靈機的程序,運行該程序實現程序中描述的算法。

但需要註意的是,它只是模擬,因為現實中計算機的存儲量是有限的,所以不可能跨越有限狀態機的邊界。經典圖靈機和很多變形識別語言的能力是壹樣的。正因為如此,圖靈機可以作為計算的通用模型。

另外,通用圖靈機(可編程圖靈機)是存在的,它可以模擬任何圖靈機,這是把圖靈機作為現代計算機形式模型的根本原因。

  • 上一篇:這首詩的作者是誰?
  • 下一篇:白噪聲的優點和缺點
  • copyright 2024歷史故事大全網