複製鏈接
請複製以下鏈接發送給好友

枚舉器

鎖定
枚舉器圖靈機的一種變種。它和圖靈機的工作原理類似,但它不需要接受輸入,一旦開始運行後就不停地在紙帶上打印出一個一個的字符串。可以把它看作是一種帶打印機的圖靈機。枚舉器E所打印出的字符串的集合稱為該枚舉器的語言,記作L(E)。
中文名
枚舉器
變    種
圖靈機
工作原理
不需要接受輸入
類    別
機器

目錄

枚舉器簡介

枚舉器圖靈機的一種變種。它和圖靈機的工作原理類似,但它不需要接受輸入,一旦開始運行後就不停地在紙帶上打印出一個一個的字符串。可以把它看作是一種帶打印機的圖靈機。枚舉器E所打印出的字符串的集合稱為該枚舉器的語言,記作L(E)。
注意:
  • L(E)可能是無限集合,這種情況下E將永不停機。
  • 枚舉器E可以以任意的順序枚舉語言L(E),而且可能多次重複地打印出L(E)中的同一個串。 [1] 

枚舉器圖靈機

圖靈機(英語:Turing machine),又稱確定型圖靈機,是英國數學家艾倫·圖靈於1936年提出的一種抽象計算模型,其更抽象的意義為一種數學邏輯機,可以看作等價於任何有限邏輯數學過程的終極強大邏輯機器。
圖靈的基本思想是用機器來模擬人們用紙筆進行數學運算的過程,他把這樣的過程看作下列兩種簡單的動作:
  • 在紙上寫上或擦除某個符號;
  • 把注意力從紙的一個位置移動到另一個位置;
而在每個階段,人要決定下一步的動作,依賴於(a)此人當前所關注的紙上某個位置的符號和(b)此人當前思維的狀態。 [1] 

枚舉器參見

參考資料
  • 1.    Michael Sipser, Introduction to the Theory of Computation, PWS Publishing, 1997. ISBN 0-534-94728-X