问递归可枚举(可计算可枚举)语言在排列下关闭？

EN

想一想“递归枚举”是什么意思。这意味着您可以定义一个TM，它将用该语言编写每个字符串。如果给TM足够的时间，它最终会写出任何给定的字符串。

对于语言中任何给定的字符串，它都有有限的排列。给定字符串，图灵机器当然可以写出字符串的所有排列。

想象一下将这两台图灵机器放在一起:第一台枚举语言中的所有字符串，第二台发出这些字符串的所有排列。结果是第一语言中所有字符串排列的枚举。

上述图灵机的结合导致了一种新的图灵机。因此，我们有一个图灵机，它以所需的语言枚举所有字符串。根据定义，这种语言是递归枚举的。