我坚持要解决这个问题，我不知道从哪里开始：
语言B是Context Free;语言C是B的子集：C Context Free？证明或反驳。
我尝试使用闭包属性：
C = B - （（A * - C）∩B）[A *是字母A上所有单词的集合]
并且考虑到CF语言在补充和交集下没有关闭，我会说C不被强制为CF.但我不确定这是一个很好的证明。
有人可以帮忙吗？
答案 0 :(得分：4)
这是一个提示。常规语言的子集不一定是常规语言：a*b*是常规语言，但a^nb^n是a*b*的子集，并且不是常规语言。你能想到无上下文语言的并行吗？