«compilers» etiketlenmiş sorular

Derleyici tasarımında, dilbilgisinde sol özyineleme neden ortadan kaldırılmalıdır? Sonsuz bir özyinelemeye neden olabileceği için okuyorum, ama doğru bir özyinelemeli dilbilgisi için de doğru değil mi?

20 formal-grammars  compilers  left-recursion 

Kullanıcı tanımlı etki alanına özgü dilleri ayrıştırmak istiyorum. Bu diller genellikle matematiksel gösterimlere yakındır (doğal bir dili ayrıştırmıyorum). Kullanıcılar DSL'lerini aşağıdaki gibi bir BNF notasyonunda tanımlar: expr ::= LiteralInteger | ( expr ) | expr + expr | expr * expr Like 1 + ( 2 * 3 )girişi kabul …

20 formal-languages  parsers  compilers 

Montaj dili, montajcı tarafından makine diline dönüştürülür. Bir derleyici neden üst düzey dili derlemeye dönüştürür? Doğrudan üst düzey dilden makine koduna dönüştürülemiyor mu?

19 compilers  code-generation  assembly 

Statik-tek atama (SSA) hakkındaki Wikipedia sayfasına göre , SSA, LLVM, GCC, MSVC, Mono, Dalvik, SpiderMonkey ve V8 gibi büyük ve iyi bilinen projeler tarafından kullanılırken, devam eden stili kullanan projelerdeki sayfa (CPS) karşılaştırıldığında biraz eksik. CPS'nin öncelikle işlevsel dilleri uygulayan derleyiciler ve tercümanlar tarafından tercih edildiğini düşünüyorum - özellikle Haskell …

16 compilers  program-optimization  continuations 

Durum makinesinden tek geçiş kullanarak bir belgeyi ayrıştırmak mümkündür. İki geçişe sahip olmanın yararı nedir, yani. metni jetonlara dönüştürmek için bir lexer ve bu jetonlardaki üretim kurallarını test etmek için bir ayrıştırıcıya sahip olmak? Neden üretim kurallarını doğrudan metne uygulayan tek bir geçişiniz olmasın?

15 compilers  parsers 

Birleştirici bir dil için bir derleyici üzerinde çalışıyorum ve tür çıkarımı desteği eklemek istiyorum. Hindley-Milner'ı anlıyorum, ama tip teorisini öğrenirken öğrendim, bu yüzden onu nasıl uyarlayacağımdan emin değilim. Aşağıdaki sistem sağlam mı ve karar verilebilir mi? Terim, değişmez bir terim, terimlerin bir bileşimi, bir terimin teklifi veya bir ilkeldir. e::=x∣∣ee∣∣[e]∣∣…e::=x|ee|[e]|… …

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

İkisi arasında herhangi bir fark var mı? Gereğince Ullman kitabında , derleyiciler başka (genellikle düşük seviye) diline bir dili dönüştürmek ve böylece bir montajcı yapar. İkisi nasıl farklı?

15 terminology  compilers 

Bir çağrının doğrudan sonucunu veren işlevlerin yinelemeli döngüler olarak yeniden yazılabileceği temel kuyruk özyineleme ortadan kaldırılması fikrine aşinayım . foo(...): # ... return foo(...) Ayrıca, özel bir durum olarak, özyinelemeli çağrı bir çağrıya sarılırsa işlevin yeniden yazılabileceğini de anlıyorum cons. foo(...): # ... return (..., foo(...)) Hangi özellik buna consizin …

14 compilers  recursion  program-optimization  tail-recursion 

Ayrıştırıcının çıktısı ağaç mı olmalı yoksa genel grafik de olabilir mi? Dahası, sözdizimleri için ağaçlar yerine genel grafik temsilini kullanan mevcut bir dil veya makul bir dil var mı?

14 compilers  parsing 

Bir ayrıştırıcı birleştiricinin aksine lexer / ayrıştırıcılarla sık sık çalışıyorum ve ayrıştırmada hiç ders almayan insanları görüyorum, ikili verileri ayrıştırmayı sor. Tipik olarak veriler sadece ikili değil aynı zamanda içeriğe duyarlıdır. Bu temel olarak sadece bir tip token, bayt için bir token bulunmasına yol açar. Birileri ikili verileri ayrıştırmak için …

13 programming-languages  compilers  parsers 

Bu alıştırmada bir sorunum var: G λ-hesabı için aşağıdaki belirsiz dilbilgisi olsun: E → v | λv.E | EE | (E) burada E, terminal olmayan tek bir simgedir, λv.E, E'deki v değişkeninden soyutlamayı temsil eder ve EE uygulamayı temsil eder. L (G ′) = L (G) ve G'nin belirsizliği aşağıdaki …

13 context-free  formal-grammars  compilers  parsers 

Ormansızlaşmanın aynı anda nasıl bir liste içerdiğini ve ürettiğini anlıyorum (bir katlama ve bir açılma işlevinden - CodeReview'da bu iyi cevaba bakın ), ama bunu ' teknikten ' wikipedia girişi ile 'kaldırma' ağaçlar 'bir programdan. Bir programın sözdizimsel ayrıştırma ağacına nasıl ayrıştırılabileceğini anlıyorum (bu doğru mu?), Ama programların bir tür …

12 terminology  compilers  functional-programming 

Son zamanlarda Derleyiciler tasarımı üzerine çalışıyorum. Biri LL gramer, diğeri LR gramer olmak üzere iki tür gramer hakkında bilgi sahibi oldum. Ayrıca her LL dilbilgisinin LL dilbilgisi olan LR olduğunu, LR dilbilgisinin uygun bir alt kümesi olduğunu da biliyoruz. Birincisi yukarıdan aşağıya ayrıştırmada, ikincisi yukarıdan aşağıya ayrıştırmada kullanılır. Fakat verilen …

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

Bu Ejderha Kitabından bir soru. Bu dilbilgisi: S→AaAb∣BbBaS→AaAb∣BbBaS \to AaAb \mid BbBa A→εA→εA \to \varepsilon B→εB→εB \to \varepsilon Soru, bunun LL (1) olduğunu ancak SLR (1) olmadığını nasıl göstereceğini soruyor. LL (1) olduğunu kanıtlamak için, ayrıştırma tablosunu oluşturmaya çalıştım, ama bir çelişki olan bir hücrede birden fazla yapım alıyorum. Lütfen …

12 formal-grammars  compilers  parsers 

F # Öğrenme ile ilgili bir yorumda : Diğer programlama dillerini kullanan hangi kitaplar fonksiyonel kavramları öğrenmek için F # 'a çevrilebilir? Makarius şunları söyledi: "CPS" yaklaşımının SML / NJ'deki performansa büyük zarar verdiğini unutmayın. Fiziksel değerlendirme modeli, donanıma dahil edilmiş çok fazla varsayımı ihlal eder. Isabelle / HOL gibi …

11 compilers  functional-programming  proof-assistants  continuations