递归语言的属性

时间:2013-06-18 18:06:19

标签: recursion properties enumerable

有人可以帮我解决这些问题吗?

以下递归语言的哪些属性可以递归枚举?

L_1 = {L | L是常规的}

L_2 = {L | L包含< A>对于某些A,它按顺序000111000}

L_3 = {L | L包含< A>对于某些A,它持有epsilon}

1 个答案:

答案 0 :(得分:0)

递归语言(也称为可判定语言)是存在图灵机的语言,它接受语言并停止接受和接受单词。

递归可枚举语言是存在图灵机的语言,它停止接受字符串。

因此,递归语言集是递归可枚举语言集的子集。

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