是否可以确定上下文无关语言的子集？

如何解决是否可以确定上下文无关语言的子集？

L是上下文无关的语言，而J是L的子集。J是可判定的吗？ 上下文无关的语言是可以决定的。

解决方法

Σ ^* 是不受上下文限制的（实际上是常规的），并且有很多子集。

,

如果L是无限大小的上下文无关语言，则L的子集J是可确定的，而某些子集是不可确定的。例如，空子集是可确定的。

要显示有不确定的子集，请考虑L的所有子集。这是一个无数的无限集，因为L是一个无限集（实际上，L是可数的，但这无关紧要）。但是所有可判定集合的集合都是可数的，因此存在L的不可判定子集。