枚舉器

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

注意：

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

參見

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