Pertanyaan yang diberi tag «context-free»

Saya memiliki bahasa berikut { 0saya1j2k∣ 0 ≤ i ≤ j ≤ k }{0i1j2k∣0≤i≤j≤k}\qquad \{0^i 1^j 2^k \mid 0 \leq i \leq j \leq k\} Saya mencoba menentukan kelas bahasa Chomsky mana yang cocok untuknya. Saya bisa melihat bagaimana itu bisa dibuat menggunakan tata bahasa konteks-sensitif jadi saya tahu itu …

11 formal-languages  context-free  formal-grammars  pumping-lemma 

Misalkan , , , menjadi urutan tak dari bahasa bebas konteks, yang masing-masing ditentukan berdasarkan alfabet umum Σ . Biarkan L menjadi penyatuan tak terbatas L_1 , L_2 , L_3 , \ dots ; yaitu, L = L_1 \ cup L_2 \ cup L_3 \ cup \ dots .L 2 …

11 formal-languages  context-free  closure-properties 

Lemma pemompaan untuk bahasa biasa dapat digunakan untuk membuktikan bahwa bahasa tertentu tidak teratur, dan lemma pemompaan untuk bahasa bebas konteks (bersama dengan lemma Ogden) dapat digunakan untuk membuktikan bahwa bahasa tertentu tidak bebas konteks. Apakah ada lemma yang memompa untuk bahasa bebas konteks- deterministik ? Yaitu, adakah lemma yang …

11 context-free  proof-techniques  pumping-lemma 

⊊⊊\subsetneq

11 complexity-theory  formal-languages  context-free  closure-properties  sets 

Saya bekerja melalui latihan keras di buku teks, dan saya tidak tahu bagaimana untuk melanjutkan. Inilah masalahnya. Misalkan kita memiliki bahasa mana adalah bilangan irasional. Bagaimana saya membuktikan bahwa bukan bahasa bebas konteks?L = { a i b j : i ≤ j γ , i ≥ 0 , j …

10 formal-languages  automata  context-free 

Ada cara untuk melakukan parsing fuzzy (menerima string bahkan dengan kesalahan pengetikan untuk jarak edit tertentu), dengan DFA dan run-time yang dibuat oleh Levenshtein Automata dari kata input. Bisakah hal serupa dilakukan dengan pengurai Earley? Saya merasa sulit untuk memahami algoritma, apalagi menjawab pertanyaan ini.

10 algorithms  context-free  finite-automata  parsers  string-metrics 

Dalam parser LR (0), setiap negara terdiri dari koleksi item LR (0), yang merupakan produksi yang dianotasi dengan suatu posisi. Dalam parser LR (1), setiap negara terdiri dari kumpulan item LR (1), yang merupakan produksi yang dianotasi dengan posisi dan karakter lookahead. Diketahui bahwa diberi status dalam otomat LR (1), …

10 context-free  parsers  lr-k 

Salah satu cara melihat ekspresi reguler adalah sebagai bukti konstruktif dari fakta berikut: adalah mungkin untuk membangun bahasa reguler dengan memulai dengan sekelompok kecil bahasa dan menggabungkannya melalui set kecil, properti penutupan tertutup. Khususnya, jika kita mulai dengan bahasa kosong, bahasa yang berisi string kosong, dan bahasa semua string karakter …

10 formal-languages  context-free  closure-properties  regular-expressions 

Dapatkah seseorang mencerahkan saya mengapa keturunan parser rekursif dengan backtracking yang mencoba produksi dan S → a a (agar) tidak mengakui bahasa yang dibentuk oleh grammar S → a S a | a a .S→ a SSebuahS→SebuahSSebuahS \rightarrow aSaS→ a aS→SebuahSebuahS \rightarrow aaS→ a Sa | a a S→SebuahSSebuah | …

10 context-free  formal-grammars  compilers  parsers 

Saya baru-baru ini menemukan makalah yang menggambarkan teknik parsing yang disebutkan dalam judul. Sayangnya, terminologi yang digunakan dalam makalah tersebut agak di luar pemahaman saya, jadi saya telah berusaha memahami algoritma konstruksi lebih intuitif. Saya percaya saya berhasil ( presentasi ini adalah sumber dari momen ah-ha), tetapi verifikasi kebenaran dari …

10 algorithms  formal-grammars  context-free  parsing 

Mari adalah himpunan terminal dan himpunan simbol non-terminal dari beberapa bebas konteks tata bahasa .ΣΣ\SigmaNNNGGG Katakanlah saya memiliki string sedemikian rupa sehingga mana dan adalah bentuk sentensial .a∈(Σ∪N)+a∈(Σ∪N)+a \in (\Sigma \cup N)^+xay∈S(G)xay∈S(G)x a y \in \mathcal{S}(G)x,y∈(Σ∪N)∗x,y∈(Σ∪N)∗x,y\in (\Sigma \cup N)^*S(G)S(G)\mathcal{S}(G)GGG Diberikan , saya ingin menentukan himpunan .GGGC={b∣wabz∈S(G),b∈Σ∪N}C={b∣wabz∈S(G),b∈Σ∪N}C = \{ b \mid …

10 algorithms  context-free  formal-grammars  compilers 

Tulis untuk ekspansi desimal (tanpa awalan ). Biarkan dan menjadi bilangan bulat, dengan . Pertimbangkan bahasa ekspansi desimal kelipatan ditambah konstanta:n¯n¯\bar nnnn0Sebuahaabbba > 0a>0a > 0Sebuahaa M.= { ax + b¯¯¯¯¯¯¯¯¯¯¯¯¯¯∣ x ∈ N }M={ax+b¯∣x∈N}M = \{ \overline{a\,x+b} \mid x\in\mathbb{N} \} Apakah biasa? bebas konteks?M.MM (Berbeda dengan Bahasa dari grafik …

10 formal-languages  context-free  regular-languages  integers 

Mengapa (jika demikian) pemisah membuat perbedaan antara kedua bahasa?##\# Katakanlah: L = { w s : | w | = | s |w , s ∈ { 0 , 1 }∗, w ≠ s }L={ws:|w|=|s|w,s∈{0,1}∗,w≠s}L=\{ws : |w|=|s|\, w,s\in \{0,1\}^{*}, w \neq s \} L.#= { w # s : | …

9 formal-languages  context-free  pumping-lemma 

Berikut bebas konteks tata bahasa hadiah sebuah "menggantung lain" jenis ambiguitas (membayangkan bahwa singkatan dan singkatan dan adalah singkatan dari beberapa jenis lain dari instruksi atau blok): \ begin {selaras} S & \ Rightarrow aSbS \; | \; aS \; | \; c \\ \ end {aligned} Misalnya, aacbc dapat …

9 context-free  formal-grammars  parsers  ambiguity 

Baru-baru ini saya bertanya-tanya apa yang akan terjadi jika kita membiarkan tata bahasa bebas konteks memiliki jumlah aturan yang tak terbatas. Jelas, jika kita mengizinkan seperangkat aturan tak terbatas seperti itu, setiap bahasa pada beberapa alfabet dapat dijelaskan oleh CFG dengan . Tetapi bagaimana jika kita membatasi ke set aturan …

9 formal-languages  context-free  formal-grammars