Pertanyaan yang diberi tag «compilers»

Dalam desain kompiler, mengapa rekursi kiri dihilangkan dalam tata bahasa? Saya membaca bahwa itu karena dapat menyebabkan rekursi yang tak terbatas, tetapi apakah itu tidak benar untuk tata bahasa rekursif yang tepat juga?

20 formal-grammars  compilers  left-recursion 

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 

Bahasa assembly diubah menjadi bahasa mesin oleh assembler. Mengapa kompiler akan mengkonversi bahasa tingkat tinggi ke perakitan? Tidak bisakah itu secara langsung mengkonversi dari bahasa tingkat tinggi ke kode mesin?

19 compilers  code-generation  assembly 

Menurut halaman Wikipedia tentang static-single assignment (SSA) , SSA digunakan oleh proyek-proyek besar dan terkenal seperti LLVM, GCC, MSVC, Mono, Dalvik, SpiderMonkey, dan V8 sedangkan halaman tentang proyek menggunakan gaya kelanjutan-lewat (CPS) agak kurang dibandingkan. Saya berpendapat bahwa CPS lebih disukai oleh kompiler dan interpreter yang menerapkan bahasa fungsional utama …

16 compilers  program-optimization  continuations 

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 sedang mengerjakan kompiler untuk bahasa concatenative dan ingin menambahkan dukungan jenis inferensi. Saya mengerti Hindley-Milner, tetapi saya telah mempelajari teori jenis ketika saya pergi, jadi saya tidak yakin bagaimana mengadaptasinya. Apakah sistem berikut ini masuk akal dan dapat disimpulkan? Istilah adalah literal, komposisi istilah, kutipan istilah, atau primitif. e::=x∣∣ee∣∣[e]∣∣…e::=x|ee|[e]|… …

15 programming-languages  logic  compilers  type-theory  type-checking 

Saya akrab dengan gagasan penghapusan rekursi ekor dasar , di mana fungsi yang mengembalikan hasil langsung dari panggilan untuk diri mereka sendiri dapat ditulis ulang sebagai loop berulang. foo(...): # ... return foo(...) Saya juga mengerti bahwa, sebagai kasus khusus, fungsinya masih dapat ditulis ulang jika panggilan rekursif dibungkus dengan …

14 compilers  recursion  program-optimization  tail-recursion 

Apakah ada perbedaan di antara keduanya? Sesuai dengan buku Ullman , kompiler mengonversi satu bahasa ke bahasa lain (biasanya tingkat rendah), dan begitu juga assembler. Bagaimana keduanya berbeda?

14 terminology  compilers 

Apakah output parser harus berupa pohon atau bisa juga grafik umum? Selain itu, apakah ada bahasa yang ada atau bahasa yang masuk akal yang menggunakan representasi grafik umum alih-alih pohon untuk sintaksinya?

13 compilers  parsing 

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 pikir mengerti bagaimana deforestasi mengkonsumsi dan menghasilkan daftar pada saat yang sama (dari lipatan dan fungsi buka - lihat jawaban yang bagus ini di CodeReview di sini ), tetapi ketika saya membandingkannya dengan entri wikipedia pada teknik ini, ia berbicara tentang 'menghapus' pohon dari sebuah program. Saya mengerti bagaimana …

12 terminology  compilers  functional-programming 

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 

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 

Dalam komentar untuk Belajar F #: Buku apa yang menggunakan bahasa pemrograman lain yang dapat diterjemahkan ke F # untuk mempelajari konsep fungsional? Makarius menyatakan: Perhatikan bahwa pendekatan "CPS" telah sangat merugikan kinerja di SML / NJ. Model evaluasi fisiknya melanggar terlalu banyak asumsi yang dibangun ke dalam perangkat keras. …

11 compilers  functional-programming  proof-assistants  continuations