枚舉器

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

注意：

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

參見

• 圖靈機
• 遞歸可枚舉語言
• 圖靈可判定語言
• 圖靈可識別語言