枚举器是 图灵机的一种 变种。它和图灵机的 工作原理类似,但它不需要接受输入,一旦开始运行后就不停地在纸带上打印出一个一个的字符串。可以把它看作是一种带打印机的图灵机。枚举器E所打印出的 字符串的集合称为该枚举器的 语言,记作 L(E)。 注意: L(E)可能是无限集合,这种情况下E将永不停机。 枚举器E可以以任意的顺序枚举语言L(E),而且可能多次重复地打印出L(E)中的同一个串。