Я ищу языки, которые "вероятно, не являются контекстно-свободными", но мы не можем (не) доказать это, используя известные стандартные методы.
Есть недавний опрос на предмет или открытый проблемный раздел от недавней конференции?
Вероятно, не так много языков, которые не известны как CF, поэтому, если вы знаете один, вы также можете опубликовать его в качестве ответа.
Примеры, которые я нашел:
- хорошо известный язык примитивных слов (на нем есть целая приятная недавняя книга: языки без контекста и примитивные слова )
- в Base-K представление совместного домена полинома (см вопрос « Base-K представления о взаимодействии области многочлена - это контекстно-свободное? » на cstheory, которая , возможно , была решена domotorp см его препринт )
Примечание : как показал Арье в своем ответе, вы можете построить целый класс таких языков, если «связать» язык с неизвестной гипотезой о (не) конечности или (не) пустоте некоторых множеств (например, не может быть выражено как сумма двух простых чисел ). Я не совсем заинтересован в таких примерах.