我如何证明给定的语言不可识别

Question

给定以下语言：

Lf = { p(m) | M 的语言是有限的 }

Lf 可以识别吗？如果不是，证明使用归约。否则，构建一个识别它的 NDTM。

我有点确定 Lf 无法识别，但我不确定如何证明。

有什么建议吗？

Answer 1

选择一种您知道无法识别的语言并找到 Lf 的简化。例如，无法识别共同停机问题。