列舉元圖靈機的一種變種。它和圖靈機的工作原理類似,但它不需要接受輸入,一旦開始執行後就不停地在紙帶上列印出一個一個的字串。可以把它看作是一種帶印表機的圖靈機。列舉元E所列印出的字串的集合稱為該列舉元的語言,記作

注意:

  • 可能是無限集合,這種情況下將永不停機。
  • 列舉元可以以任意的順序列舉語言,而且可能多次重複地列印出中的同一個串。

參見

編輯