递归语言的属性

Question

任何人都可以帮助我解决这些问题吗？

以下递归语言的哪些属性是递归枚举？

L_1 = {L | L is regular}

L_2 = {L | L包含< A>对于一些A，其保持在序列000111000}

L_3 = {L | L含有< A>对于一些A，其持有的ε-}

Answer 1

递归语言（也称为可判定的语言）是其中存在一个用来接受该语言，并停止在两个都接受和非图灵机语言接受单词。

递归可枚举语言是存在一个图灵机的语言，它在接受字符串时暂停。

所以递归语言的集合是递归可枚举语言集合的一个子集。

所以，如果我理解了正确的问题，那么L_1，L_2和L_3是递归枚举。