问题描述
如果一种语言是某些图灵机接受的字符串集,则它是递归可枚举的(r.e.)。 使用闭包事实:r.e. 的集合语言在联合和交叉下是封闭的。 证明联合:假设语言 L1 和 L2 是 r.e.,被 TM M1 和 M2 接受。 L1 ∪ L2 的 TM 只是并行运行 M1 和 M2。当至少一台机器停止并接受时,输入正好在联合中。
我的问题:在联合或交集下封闭的非 r.e 语言集?
解决方法
暂无找到可以解决该程序问题的有效方法,小编努力寻找整理中!
如果你已经找到好的解决方法,欢迎将解决方案带上本链接一起发送给小编。
小编邮箱:dio#foxmail.com (将#修改为@)