Pertanyaan yang diberi tag compilers

15
Mengapa memisahkan lexing dan parsing?

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...

12
Bagaimana tata bahasa LL (1) ini?

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...

11
Inferring type refinement

Di tempat kerja saya ditugaskan untuk menyimpulkan beberapa jenis informasi tentang bahasa yang dinamis. Saya menulis ulang urutan pernyataan menjadi letekspresi bersarang , seperti: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z if x then T else F; Z =>...

10
Memulai dengan Analisis Program

Saya mencari sumber daya untuk memulai dengan analisis program . Satu-satunya buku yang saya temukan pada topik adalah buku Nielson & Nielson . Selain itu, sepertinya hanya ada buku "kompiler" di mana "analisis program" akan menjadi bab, atau sesuatu di sepanjang baris itu. Apakah orang...

9
Diagram Cross Compiler's T

Saya sedang mempelajari Bootstrapping dari Red Dragon Book Compiler dan menemukan diagram T untuk cross compiler cukup membingungkan. Saya tidak mengerti apa yang dimaksud dengan "Jalankan compiler1 melalui compiler2". Adakah yang bisa memberikan penjelasan yang lebih baik, analogi atau contoh...