列舉元

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

注意：

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

參見

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