在Wikipedia定义的“递归枚举语言”中,它表示:
“递归可枚举的语言是一种形式的语言,存在一种图灵机(或其他可计算的函数),它将枚举该语言的所有有效字符串。请注意,如果该语言是无限的,则提供的枚举算法可以选择它以避免重复,因为我们可以测试为数字n生成的字符串是否已经“为”小于n的数字生成。如果已经生成,则将输出用于输入n + 1代替(递归),但再次测试它是否为“新”。”
我不知道该怎么做?考虑某个图灵机M识别出的无限语言L,有人能给我展示一台枚举该语言的所有有效字符串并避免重复的图灵机吗?谢谢!