递归语言的属性

Posted 2023-03-16

【中文标题】递归语言的属性

【英文标题】：Properties of recursive languages

【发布时间】：2013-06-15 01:54:28

【问题描述】：

谁能帮我解答这些问题？

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

L_1 = L | L 是正则

L_2 = L | L 包含一些 A 的 ，它在序列 000111000

上成立

L_3 = L | L 包含一些 A 的 ，它在 epsilon 上成立

【参考方案1】：

递归语言（也称为可判定语言）是存在图灵机的语言，它接受该语言并在接受和不接受的词上都停止。

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

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

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