如何证明给定的语言无法识别

Question

鉴于以下语言：

Lf = {p（m）| M的语言是有限的}

Lf是否可识别？如果没有，请证明使用减少。否则，构建一个识别它的NDTM。

我确信Lf无法被识别，但我不确定如何证明它。

有什么建议吗？

Answer 1

选择一种您无法识别的语言并找到减少Lf的语言。例如，共同停止问题无法识别。