Pertanyaan yang diberi tag «grammars»

Apakah bahasa { } bebas konteks atau tidak?aibjck | i≠j,i≠k,j≠kaibjck | i≠j,i≠k,j≠ka^{i}b^{j}c^{k} ~|~ i \neq j, i \neq k, j \neq k Saya menyadari bahwa saya telah menemukan hampir semua varian pertanyaan ini dengan kondisi yang berbeda tentang hubungan antara i, j, dan k, tetapi tidak yang ini. Dugaan saya …

30 automata-theory  fl.formal-languages  grammars 

Sebagai proyek sampingan, saya menulis bahasa menggunakan Python. Saya mulai dengan menggunakan klon flex / bison yang disebut Ply, tetapi saya muncul di tepi dalam kekuatan apa yang dapat saya ungkapkan dengan gaya tata bahasa itu, dan saya tidak tertarik untuk meretas bahasa saya karena ketidakcocokan impedansi dengan alat. Karena …

28 fl.formal-languages  pl.programming-languages  grammars 

The lemma memompa untuk bahasa reguler dapat dibuktikan dengan mempertimbangkan negara yang terbatas robot yang mengakui bahasa dipelajari, memetik string dengan lebih panjang daripada jumlah kantor negara, dan menerapkan prinsip mengesampingkan. Namun, memompa lemma untuk bahasa bebas konteks (serta lemma Ogden yang sedikit lebih umum), dibuktikan dengan mempertimbangkan tata bahasa …

21 fl.formal-languages  automata-theory  proofs  grammars 

Sudah diketahui bahwa masalah kesetaraan tidak dapat diputuskan untuk bahasa bebas konteks umum. Namun, semua bukti dari fakta ini yang saya sadari tampaknya melibatkan beberapa tata bahasa bebas konteks yang ambigu. Untuk alasan ini, saya ingin bertanya apakah diketahui apakah masalahnya tetap tidak dapat diputuskan saat membatasi diri ke bahasa …

19 fl.formal-languages  grammars  context-free  decidability  undecidability 

Ini adalah reformulasi program tata bahasa Are? sebelumnya ditanya oleh Vag dan dengan banyak saran dari para komentator. Dalam hal apa tata bahasa dapat dilihat sebagai spesifikasi model komputasi? Misalnya, jika kita mengambil tata bahasa bebas konteks sederhana seperti G ::= '1' -> '0' '+' '1' '1' -> '1' '+' …

18 fl.formal-languages  pl.programming-languages  grammars  universal-computation 

Dalam bab 4 dari Kursus Kedua Jeffrey Shallit di Teori Automata masalah berikut didaftar sebagai terbuka: p(n)p(n)p(n)∈Np(n) \in \mathbb{N}n∈Nn \in \mathbb{N}{p(n)∣n⩾0}{p(n)∣n⩾0}\{p(n) \mid n \geqslant 0\}p pp⩽ 1⩽1\leqslant 1 Apa statusnya sekarang (untuk Oktober 2018)? Apakah terbukti? Bagaimana dengan beberapa kasus khusus?

14 fl.formal-languages  nt.number-theory  grammars 

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 

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 

Biarkan menjadi bahasa bebas konteks. Tentukan menjadi penutupan sebelum dan postfix dari L , dengan kata lain, ppc (L) mengandung semua L 's prefiks dan postfixes, dan karenanya L sendiri. Pertanyaan saya: jika L bebas konteks dan memiliki tata bahasa yang tidak ambigu, apakah hal yang sama berlaku untuk ppc …

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

Saya tertarik pada musik komputer, di mana ada pendekatan untuk memperlakukan karya musik sebagai kalimat dalam tata bahasa generatif atau sistem-L. Alih-alih menyusun, seseorang kemudian dapat menentukan tata bahasa dan membiarkan komputer menghasilkan musik. Misalnya kelompok Yale di sekitar almarhum Paul Hudak sangat kuat dalam hal itu. Saya tersadar bahwa …

9 grammars 

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 

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 

Saya bingung tentang contoh yang diberikan dalam artikel Wikipedia tentang tata bahasa konteks-sensitif: https://en.wikipedia.org/wiki/Context-sensitive_grammar Disclamer : Saya sudah mengubah bagian yang dibahas di artikel wikipedia, jadi keadaan artikel saat ini akan berbeda dari yang saya bahas dalam pertanyaan ini. Versi asli ada di sini: https://en.wikipedia.org/w/index.php?title=Context-sensitive_grammar&oldid=747616366 Tata bahasa berikut, dengan simbol …

8 fl.formal-languages  grammars 

Saya mencoba untuk memperjelas pemahaman saya dalam contoh yang disajikan dalam Bagian 2.2 dari Quantum Finite Automata 1-arah: Kekuatan Kelemahan dan Generalisasi ( tautan alternatif ini juga mungkin berguna). Contoh ini memberikan contoh 1-QFA yang sangat terbuka dengan aturan transisi berikut: Va|q0⟩=12|q0⟩+12|q1⟩+12√|qrej⟩Va|q0⟩=12|q0⟩+12|q1⟩+12|qrej⟩V_a|q_0\rangle = \frac{1}{2}|q_0\rangle + \frac{1}{2}|q_1\rangle + \frac{1}{\sqrt 2}|q_{rej}\rangle , …

8 fl.formal-languages  quantum-computing  automata-theory  grammars