圖靈完備性是指一種編程語言能夠實現圖靈機器的功能。這是一種非常基本的機械計算機的概念,有時被描述為可以被視為計算機的最簡單的機器。實際上,今天使用的所有編程語言,理論上,運行它們的計算機,圖靈完備性。英國計算機...
圖靈完備性是指一種編程語言能夠實現圖靈機器的功能。這是一種非常基本的機械計算機的概念,有時被描述為可以被視為計算機的最簡單的機器。實際上,今天使用的所有編程語言,理論上,運行它們的計算機,圖靈完備性。英國計算機科學家艾倫·圖靈提出了圖靈完備性的概念。圖靈完備性的概念來自于英國計算機科學家艾倫·圖靈,他在二戰期間的工作包括破譯編碼信息。他在計算方面的工作之一是發展了一種計算機實際上可以做到。這包括一個概念,即計算機只需運行算法就可以工作。也就是說,計算機遵循一套固定的規則來處理數據,進而解決問題。這意味著計算機不會像人一樣“思考”或做出決策。為了說明這一概念,圖靈描述了一種假想的機器,他稱之為“a機器”,其中“a”代表自動;其他人后來稱之為圖靈機器。這臺機器將處理一卷可以前后移動并包含一行符號的磁帶。在任何時候,這臺機器可以處理一個符號,如果有必要,改變它。就這個概念而言,一卷磁帶可以是無限長的,這意味著計算機的內存并沒有固有的限制。這是一個類比,即一旦計算機有一組指令要遵循,它可以應用這些指令的數據量只受物理限制。具有諷刺意味的是,今天的大多數計算機實際上并沒有圖靈的完整性,這是因為它們對可用的存儲空間和它們可以處理的數據都有限制,它們也有物理上的限制,最明顯的是它們最終會磨損掉它實際上是一種具有圖靈完備性的編程語言。正因為如此,運行這種程序的計算機不是圖靈計算機,而是可以用來模擬圖靈計算機的。圖靈完備性不應與圖靈測試混淆。這是圖靈設計的一個實驗,旨在觀察計算機是否可以用自然語言進行對話該測試的原理是,如果一個人不能分辨出與計算機的純文本對話與另一個人的對話之間的區別,則計算機通過了測試。雖然有些計算機在會話主題范圍受到限制的情況下通過了測試,但在不受限制的對話中,沒有一臺計算機通過了測試
-
發表于 2020-08-07 09:52
- 閱讀 ( 1002 )
- 分類:電腦網絡