(Dis) engelleyemeyeceğimiz, Bağlamsız olduğunu kanıtlayamadığımız diller

"Muhtemelen Bağlamsız" dilleri arıyorum ancak bilinen standart teknikleri kullanarak ispatlayamıyoruz.

Konuyla ilgili yakın zamanda yapılan bir anket ya da yakın tarihli bir konferanstaki açık sorunlu bir bölüm var mı?

Muhtemelen CF olarak bilinen pek fazla dil yoktur, bu yüzden eğer bir tane biliyorsanız, cevap olarak da gönderebilirsiniz.

Bulduğum örnekler:

• İlkel kelimelerin iyi bilinen dili $Q = \{ w \mid w \neq u^i (|u| > 1) \}$ (bununla ilgili çok güzel bir kitap var: Bağlamsız Diller ve İlkel Kelimeler )
• bir polinomun eş alanının Baz-k gösterimleri (bkz soru " - bir polinom eş alanının Baz-k gösterimleri? bağlamdan-bağımsız olduğunu belki domotorp tarafından çözüldü cstheory, bkz" onun önbaskısını )

Not : onun cevabını Aryeh tarafından gösteriyordu mesela (bazı setleri (olmayan) sonluluk ya da (non) boşluk hakkında bilinmeyen bir varsayım Sizin "bağlantı" bir dil eğer böyle dillerin sınıfının tamamını inşa edebilirsiniz $L_{Goldbach} = \{ 1^{2n} \mid 2n$ , iki primerin toplamı olarak ifade edilemez $\}$ ). Bu tür örneklerle pek ilgilenmiyorum.

Bir başka iyi olan, Thue-Morse dizisinin t = 0110100110010110 ⋯ bitişik alt-anahtarlarının (aka "faktörleri") $S$ dizisinin tamamlayıcısıdır . Bazı bağlamda vermek gerekirse, Jean Berstel kanıtladı seti tamamlayıcısı olduğu T ait önekleri Thue-Mors kelimenin bağlam serbest (ve bundan daha genel gerçekte bir şey) 'dir. Ancak, alt kelimeler için karşılık gelen sonuç hala açık.${\bf t} = 0110100110010110 \cdots$$T$

$L_{TP}$$(p,p')$$p,p'$$p'=p+2$$L_{TP}$

$L_{TP}$$L$ $0\le a_1\le a_2\le\ldots$$\ell$$\ell$$L$$L$$R>0$$a_{n+1}-a_n\le R$$n$