decidable有关的问题


递归可枚举语言的相等是可判定的?

如果L1和L2都是递归可枚举的,那么问题L1 = L2在算法上是可以判定的吗?我知道检查两种常规语言的相等性是可以确定的,但我不知道这是否