Saya mencari bahasa yang "mungkin bukan Bebas Konteks" tetapi kami tidak dapat (buktikan) menggunakan teknik standar yang dikenal.
Apakah ada survei terbaru pada subjek atau bagian masalah terbuka dari konferensi baru-baru ini?
Mungkin tidak banyak bahasa yang tidak dikenal sebagai CF, jadi jika Anda mengetahuinya, Anda juga dapat mempostingnya sebagai jawaban.
Contoh yang saya temukan adalah:
- bahasa yang terkenal dari kata-kata Primitif (ada buku terbaru yang bagus tentangnya: Bahasa Bebas Konteks dan Kata-kata Primitif )
- yang representasi Base-k dari co-domain dari polinomial (lihat pertanyaan " representasi Base-k dari co-domain dari polinomial - itu bebas konteks? " pada cstheory, yang mungkin telah diselesaikan dengan domotorp, lihat nya pracetak )
Catatan : seperti yang ditunjukkan oleh Aryeh dalam jawabannya, Anda dapat membangun seluruh kelas bahasa tersebut jika Anda "menautkan" bahasa ke dugaan yang tidak diketahui tentang (bukan) keterbatasan atau kekosongan (bukan) dari beberapa set (mis. tidak dapat dinyatakan sebagai jumlah dari dua bilangan prima ). Saya tidak begitu tertarik dengan contoh-contoh seperti itu.
sumber
Jawaban:
Satu lagi yang bagus adalah komplemen dari himpunanS dari kata kunci yang berdekatan (alias "faktor") dari urutan Thue-Morse t =0110100110010110⋯ . Untuk memberikan beberapa konteks, Jean Berstel membuktikan bahwa komplemen dari himpunan T dari prefiks dari kata Thue-Morse adalah bebas konteks (dan benar-benar sesuatu yang lebih umum dari itu). Tetapi hasil yang sesuai untuk subword masih terbuka.
sumber
sumber