2
我们不能（证明）无上下文的语言
我正在寻找“可能不是上下文无关”的语言，但我们无法使用已知的标准技术来（反）证明它。 是否有关于该主题的最新调查或最近一次会议的未解决问题部分？ 可能没有多少种语言不知道是CF，因此，如果您知道一种语言，也可以将其发布为答案。 我发现的示例是： 原始词的 著名语言（最近有一本很好的书：上下文无关的语言和原始词）Q={w∣w≠ui(|u|>1)}Q={w∣w≠ui(|u|>1)}Q = \{ w \mid w \neq u^i (|u| > 1) \} 该多项式的合作领域的基础-K表示（见问题“ 多项式的合作领域的基础-K作品-是它的上下文免费的吗？ ”在cstheory，这或许已经解决了domotorp，看他预印本） 注：在他的回答显示出由Aryeh你可以，如果你“链接”一语来获取一些套（非）有限性或（非）空虚未知的猜想打造全班这样的语言（如 不能表示为两个素数的总和）。我对这样的例子不太感兴趣。LGoldbach={12n∣2nLGoldbach={12n∣2nL_{Goldbach} = \{ 1^{2n} \mid 2n}}\}