Pertanyaan yang diberi tag «parsers»

Orang sering mengatakan bahwa parser LR (k) lebih kuat daripada parser LL (k) . Pernyataan-pernyataan ini sebagian besar tidak jelas; khususnya, haruskah kita membandingkan kelas untuk tetap atau serikat atas semua ? Jadi bagaimana sebenarnya situasinya? Secara khusus, saya tertarik pada bagaimana LL (*) cocok.kkkkkk Sejauh yang saya tahu, set …

67 formal-languages  formal-grammars  parsers  reference-question 

EPAL, bahasa bahkan palindrom, didefinisikan sebagai bahasa yang dihasilkan oleh tata bahasa bebas konteks berikut: S→aaS→aaS \rightarrow a a S→bbS→bbS \rightarrow b b S→aSaS→aSaS \rightarrow a S a S→bSbS→bSbS \rightarrow b S b EPAL adalah 'kutukan' dari banyak algoritma penguraian: Saya belum menemukan algoritma penguraian untuk CFG yang pasti yang …

23 formal-languages  formal-grammars  parsers 

Saya ingin mengurai bahasa khusus domain yang ditentukan pengguna. Bahasa-bahasa ini biasanya dekat dengan notasi matematika (saya tidak menguraikan bahasa alami). Pengguna menentukan DSL mereka dalam notasi BNF, seperti ini: expr ::= LiteralInteger | ( expr ) | expr + expr | expr * expr Input suka 1 + ( …

20 formal-languages  parsers  compilers 

Rupanya, serangan ReDos mengeksploitasi karakteristik dari beberapa ekspresi reguler (yang berguna) ... pada dasarnya menyebabkan ledakan jalur yang mungkin melalui grafik yang ditentukan oleh NFA. Apakah mungkin untuk menghindari masalah seperti itu dengan menulis regex 'non-evil' yang setara? Jika tidak (dengan demikian, tata bahasa tidak dapat ditangani di ruang / …

16 regular-expressions  parsers 

Jika saya memiliki Tata Bahasa Tipe 3, itu dapat direpresentasikan pada otomat pushdown (tanpa melakukan operasi apa pun pada stack) sehingga saya dapat mewakili ekspresi reguler dengan menggunakan bahasa bebas konteks. Tapi bisakah saya tahu jika tata bahasa tipe 3 adalah , L L ( 1 ) , S L …

16 formal-languages  regular-languages  formal-grammars  parsers  regular-expressions 

Dimungkinkan untuk menguraikan dokumen menggunakan pass tunggal dari mesin negara. Apa manfaatnya memiliki dua lintasan, yaitu. memiliki lexer untuk mengonversi teks menjadi token, dan memiliki pengurai untuk menguji aturan produksi pada token itu? Mengapa tidak memiliki satu pass yang menerapkan aturan produksi langsung ke teks?

15 compilers  parsers 

Saya mencoba belajar sendiri tentang penggunaan bison. Halaman manual bison (1) mengatakan tentang bison: Hasilkan parser LR deterministik atau LR (GLR) umum yang menggunakan LALR (1), IELR (1), atau tabel parser LR (1) kanonik. Apa itu parser IELR? Semua artikel relevan yang saya temukan di world wide web adalah paywalled.

14 formal-languages  terminology  formal-grammars  parsers 

Menurut artikel Wikipedia , L dalam berarti "pemindaian kiri-ke-kanan", dan "R" berarti "derivasi paling kanan." Namun, dalam kertas asli Knuth pada L R ( k ) tata bahasa , ia mendefinisikan L R ( k ) (pada halaman 610) sebagai bahasa yang "diterjemahkan dari kiri ke kanan dengan terikat k …

14 formal-languages  reference-request  terminology  formal-grammars  parsers 

Saya sedang memikirkan tata bahasa untuk bahasa indendasi-sensitif dan sepertinya tata bahasa CF akan melakukan trik jika dikombinasikan dengan parameter. Sebagai contoh, pertimbangkan fragmen ini untuk tata bahasa Python yang disederhanakan dalam format seperti ANTLR: // on top-level the statements have empty indent program : statement('')+ ; // let's consider …

13 formal-languages  context-free  formal-grammars  parsers 

Saya mencoba memahami apa yang dimaksud dengan "deterministik" dalam ungkapan seperti "tata bahasa bebas konteks deterministik". (Ada lebih banyak "hal-hal" deterministik dalam bidang ini). Saya akan menghargai contoh lebih dari penjelasan yang paling rumit! Jika memungkinkan. Sumber kebingungan utama saya adalah dari tidak dapat mengatakan bagaimana properti tata bahasa ini …

13 context-free  formal-grammars  parsers 

Saya sering bekerja dengan lexer / parser , sebagai lawan dari parser combinator dan melihat orang-orang yang tidak pernah mengambil kelas dalam parsing, bertanya tentang parsing data biner. Biasanya data tidak hanya biner tetapi juga peka konteks. Ini pada dasarnya menyebabkan hanya memiliki satu jenis token, token untuk byte. Adakah …

13 programming-languages  compilers  parsers 

Saya punya masalah dengan latihan ini: Biarkan G menjadi tata bahasa ambigu berikut untuk kalkulus λ: E → v | λv.E | EE | (E) di mana E adalah simbol non-terminal tunggal, λv.E mewakili abstraksi dari variabel v di E, dan EE mewakili aplikasi. Definisikan tata bahasa LL (1) G …

13 context-free  formal-grammars  compilers  parsers 

Saya baru-baru ini mempelajari tentang perancangan Compiler. Saya jadi tahu tentang dua jenis tata bahasa satu adalah tata bahasa LL dan lainnya adalah tata bahasa LR. Kita juga tahu fakta bahwa setiap tata bahasa LL adalah LR yang tata bahasa LL adalah bagian yang tepat dari tata bahasa LR. Yang …

12 formal-grammars  compilers  parsers  lr-k  ll-k 

Saya ingin mengubah pengguna memasukkan ekspresi reguler ke NFA sehingga saya kemudian dapat menjalankan NFA terhadap string untuk tujuan yang cocok. Apa mesin minimum yang dapat digunakan untuk mem-parsing ekspresi reguler? Saya menganggap itu harus berupa push down automaton karena keberadaan kurung berarti kebutuhan untuk menghitung dan DFA / NFA …

12 formal-languages  parsers  regular-expressions  pushdown-automata 

Ini pertanyaan dari Buku Naga. Ini adalah tata bahasanya: S→AaAb∣BbBaS→AaAb∣BbBaS \to AaAb \mid BbBa A→εA→εA \to \varepsilon B→εB→εB \to \varepsilon Pertanyaannya adalah bagaimana menunjukkan bahwa itu LL (1) tetapi tidak SLR (1). Untuk membuktikan bahwa itu adalah LL (1), saya mencoba membangun tabel parsingnya, tetapi saya mendapatkan beberapa produksi dalam …

12 formal-grammars  compilers  parsers