E" 枚举了语言"S"。若存在这样的"E"，"S"就称为递归可枚举语言。注意，枚举器"E"可以以任意的顺序枚举语言"L"（"E"），而且"L"（"E"） 中的某个串可能会被"E"多次重复地打印。图灵可识别语言定义：设formula_1是一台图灵机，若在输入串formula_2上formula_1运行后可进入接受状态并停机，则称formula_1接受串formula_2。formula_1所接受的所有字符串的集合称为formula_1所识别的语言，简称formula_1的语言，记作formula_