枚举器是图灵机的一种变种。它和图灵机的工作原理类似，但它不需要接受输入，一旦开始运行后就不停地在纸带上打印出一个一个的字符串。可以把它看作是一种带打印机的图灵机。枚举器"E"所打印出的字符串的集合称为该枚举器的语言，记作formula_1。注意：