问题描述
如果L1和L2都可以递归枚举,那么问题L1 = L2在算法上是否可确定?我知道检查两种常规语言是否相等是可以决定的,但是我不知道这是否适用于递归可枚举的语言。
解决方法
暂无找到可以解决该程序问题的有效方法,小编努力寻找整理中!
如果你已经找到好的解决方法,欢迎将解决方案带上本链接一起发送给小编。
小编邮箱:dio#foxmail.com (将#修改为@)
如果L1和L2都可以递归枚举,那么问题L1 = L2在算法上是否可确定?我知道检查两种常规语言是否相等是可以决定的,但是我不知道这是否适用于递归可枚举的语言。
暂无找到可以解决该程序问题的有效方法,小编努力寻找整理中!
如果你已经找到好的解决方法,欢迎将解决方案带上本链接一起发送给小编。
小编邮箱:dio#foxmail.com (将#修改为@)