Pertanyaan yang diberi tag «context-free»

Akan menyenangkan untuk mengumpulkan daftar kondisi yang menyiratkan bahwa bahasa bebas konteks-L adalah reguler, yaitu syarat-syarat bentuk: "jika CFG / PDA yang diberikan memiliki properti P, maka bahasanya adalah reguler" Properti P tidak harus mengkarakterisasi CFG yang menghasilkan bahasa reguler. Selanjutnya, P tidak harus decidable, dan P harus "entah bagaimana …

14 reference-request  fl.formal-languages  regular-language  context-free  survey 

Pertimbangkan pertanyaan alami berikut: Dengan bahasa terbatas , apa yang menghasilkan tata bahasa L terkecil yang bebas konteks ?L.L.LL.L.L Kita bisa membuat pertanyaan yang lebih menarik dengan menentukan urutan bahasa , misalnya L n adalah himpunan semua permutasi dari { 1 , ... , n } : intuitif, sebuah CFG …

14 reference-request  fl.formal-languages  lower-bounds  grammars  context-free 

Setelah membaca pertanyaan terakhir "Apakah komplemen bebas konteks?" {www∣...}{www∣...}\{ www \mid ...\}; Saya ingat masalah yang sama yang tidak bisa saya tolak: Apakah konteks gratis?L={ww′∣w,w′∈{0,1}∗∧|w|=|w′|∧HamDist(w,w′)>1}L={ww′∣w,w′∈{0,1}∗∧|w|=|w′|∧HamDist(w,w′)>1}L = \{ ww' \mid w,w' \in \{0,1\}^* \land |w|=|w'| \land HamDist(w,w')>1 \} Di sini kita mensyaratkan bahwa dua string berbeda setidaknya dalam dua posisi (jarak …

13 fl.formal-languages  context-free 

Saya sedang mempertimbangkan bahasa dari semua formula logika proposisional yang memuaskan, SAT (untuk memastikan bahwa ini memiliki alfabet terbatas, kami akan menyandikan huruf proposisional dengan cara yang sesuai [edit: balasan menunjukkan bahwa jawaban untuk pertanyaan mungkin tidak kuat di bawah beragam pengkodean, jadi seseorang harus lebih spesifik - lihat kesimpulan …

12 cc.complexity-theory  circuit-complexity  sat  context-free 

Greibach terkenal didefinisikan bahasa , yang disebut versi non-deterministik dari D 2 , sehingga setiap CFL adalah gambar morphic kebalikan dari H . Apakah ada pernyataan serupa dengan DCFL, mungkin dengan pembatasan morfisme diizinkan?HHHD2D2D_2HHH (Lihat, misalnya, M. Autebert, J. Berstel, dan L. Boasson. Bahasa bebas konteks dan automata pushdown. Dalam …

12 fl.formal-languages  open-problem  context-free  nondeterminism  hard-instances 

Bahasa Dyck didefinisikan oleh tata bahasa S → S S berikutD y c k (k)Dyck(k)\mathsf{Dyck}(k) atas himpunan simbol { ( 1 , ... , ( k , ) 1 , ... , ) k } . Bahasa secara intuitif Dyck adalah bahasa kurung seimbang dari k yang berbeda. Sebagai contoh, …

12 reference-request  fl.formal-languages  circuit-complexity  ho.history-overview  context-free 

Sudah diketahui umum bahwa komplemen bebas konteks. Tapi bagaimana dengan komplemen ?{ww∣w∈Σ∗}{ww∣w∈Σ∗}\{ ww \mid w\in \Sigma^*\}{www∣w∈Σ∗}{www∣w∈Σ∗}\{ www \mid w\in \Sigma^*\}

12 fl.formal-languages  context-free 

Saya memahami klaim berikut ini sebagai benar: Dua derivasi berbeda dari string dalam CFG yang diberikan kadang-kadang dapat menghubungkan pohon parse yang sama dengan string. Ketika ada derivasi dari beberapa string dalam CFG yang diberikan yang menghubungkan pohon parse yang berbeda, CFG bersifat ambigu. Beberapa bahasa bebas konteks yang dihasilkan …

11 fl.formal-languages  regular-language  context-free 

Biarkan nomor diberikan. Pertimbangkan bahasa berikut L n = {nnn .L.n= {ww|w ∈ { 0 , 1 }n}Ln={ww|w∈{0,1}n}L_n = \{ \; ww \; \vert \; w \in \{0,1\}^{n} \; \} Dengan kata lain, adalah himpunan string salinan dengan panjang 2 n .L.nLnL_n2 n2n2n Pertimbangkan fungsi kompleksitas keadaan berikut sehingga s …

10 fl.formal-languages  automata-theory  grammars  context-free 

Apakah ada beberapa hasil pada penyelesaian masalah bahasa formal menggunakan analisis matematika, matematika kontinu. Misalnya, menyelesaikan masalah non-kekosongan persimpangan untuk bahasa bebas konteks dan bahasa biasa.

9 fl.formal-languages  automata-theory  context-free 

Pertimbangkan tata bahasa bebas konteks sembarang atas alfabet { 0 , 1 , ¯ 0 , ¯ 1 } . Untuk produksi tata bahasa ini, tambahkan dua produksi tetap non-konteks-bebas P : ¯ 0 0 → ϵ dan ¯ 1 1 → ϵ . Panggil dihasilkan tata bahasa G P …

9 context-free  decidability 

Apa rasio CFG ambigu dengan semua CFG ? Karena kedua himpunan ini tak terhingga tak terhingga rasionya tidak terdefinisi dengan baik. Tapi bagaimana dengan kepadatan asimptotik : limn ↦ ∞# CFG ambigu ukuran < n# CFG ukuran < nlimn↦∞# ambiguous CFG of size<n# CFG of size<n\lim_{n \mapsto \infty}\frac {\# \text{ …

9 fl.formal-languages  grammars  context-free 

Saya ingin tahu mengapa untuk pengenalan bahasa bebas konteks, hanya automata push-down (DPA = NPDA) non-deterministik yang berfungsi. Mengapa deterministic push-down automata (DPDA) tidak mengenali bahasa seperti itu?

9 fl.formal-languages  automata-theory  context-free 

Apakah ada permutasi dan ukuran polinomial (dalam ) konteks tata bahasa gratis yang menggambarkan bahasa hingga lebih dari alfabet ?π1,π2π1,π2\pi_1,\pi_2|w|=n|w|=n|w|=n{wπ1(w)π2(w)}{wπ1(w)π2(w)}\{w \pi_1(w) \pi_2(w)\}{0,1}{0,1}\{0,1\} PEMBARUAN: Untuk satu permutasi ππ\pi dimungkinkan. ππ\pi adalah pembalikan atau modifikasi pembalikan yang relatif kecil.

9 fl.formal-languages  grammars  context-free