圖靈機

2019獨角獸企業重金招聘Python工程師標準>>>       圖靈機,又稱確定型圖靈機,是英國數學家阿蘭·圖靈於1936年提出的一種抽象計算模型,其更抽象的意義爲一種數學邏輯機,可以看作等價於任何有限邏輯數學過程的終極強大邏輯機器。圖靈機的基本思想是用機器來模擬人們用紙筆進行運算的過程,圖靈把這樣的過程簡化成兩個動作: 在紙上寫上或擦除某個符號; 把注意力從紙的一個位置移動到另一個位置; 而
相關文章
相關標籤/搜索