列舉元

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

注意：

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

參見

• 圖靈機
• 遞歸可列舉語言
• 圖靈可判定語言
• 圖靈可辨識語言