遞歸語言的屬性

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是遞歸枚舉。