有人可以帮我解决这些问题吗?
以下递归语言的哪些属性可以递归枚举?
L_1 = {L | L是常规的}
L_2 = {L | L包含< A>对于某些A,它按顺序000111000}
L_3 = {L | L包含< A>对于某些A,它持有epsilon}
答案 0 :(得分:0)
递归语言(也称为可判定语言)是存在图灵机的语言,它接受语言并停止接受和接受单词。
递归可枚举语言是存在图灵机的语言,它停止接受字符串。
因此,递归语言集是递归可枚举语言集的子集。
所以,如果我理解正确的问题,那么L_1,L_2和L_3是递归可枚举的。