Computerwissenschaften compilers

4

Diese Frage wurde von Theoretical Computer Science Stack Exchange migriert, da sie über Computer Science Stack Exchange beantwortet werden kann. Vor 6 Jahren migriert . Warum sollte im Compiler-Design die Linksrekursion in Grammatiken beseitigt werden? Ich lese, dass es daran liegt, dass es eine unendliche Rekursion verursachen kann, aber gilt …

20 formal-grammars compilers left-recursion

3

Analysieren von beliebigen kontextfreien Grammatiken, meist kurze Ausschnitte

Ich möchte benutzerdefinierte domänenspezifische Sprachen analysieren. Diese Sprachen ähneln normalerweise mathematischen Notationen (ich analysiere keine natürliche Sprache). Benutzer definieren ihr DSL in einer BNF-Notation wie folgt: expr ::= LiteralInteger | ( expr ) | expr + expr | expr * expr Eingaben wie 1 + ( 2 * 3 )müssen …

20 formal-languages parsers compilers

6

Warum produzieren Compiler Assembler-Code?

Die Assemblersprache wird vom Assembler in die Maschinensprache konvertiert. Warum sollte ein Compiler eine Hochsprache in eine Assembly konvertieren? Kann es nicht direkt von der Hochsprache in Maschinencode konvertiert werden?

19 compilers code-generation assembly

2

Warum wird bei vielen branchenüblichen Compilern die statische Einzelzuweisung der Weitergabe vorgezogen?

Laut der Wikipedia-Seite zu statischer Einzelzuweisung (SSA) wird SSA von großen und bekannten Projekten wie LLVM, GCC, MSVC, Mono, Dalvik, SpiderMonkey und V8 verwendet, während die Seite zu Projekten im Continuation-Passing-Stil verwendet wird (CPS) ist im Vergleich etwas mangelhaft. Ich habe die Vorstellung, dass CPS von Compilern und Interpreten bevorzugt …

15 compilers program-optimization continuations

1

Warum getrennt lexen und analysieren?

Es ist möglich, ein Dokument mit einem einzigen Durchgang von einem Zustandsautomaten aus zu analysieren. Was ist der Vorteil von zwei Durchgängen, dh. Haben Sie einen Lexer zum Konvertieren von Text in Token und einen Parser zum Testen der Produktionsregeln für diese Token? Warum nicht einen einzigen Durchgang haben, der …

15 compilers parsers

1

Typinferenz mit Produkttypen

Ich arbeite an einem Compiler für eine verkettete Sprache und möchte Unterstützung für Typinferenz hinzufügen. Ich verstehe Hindley-Milner, aber ich habe die Typentheorie im Laufe der Zeit gelernt, daher bin ich mir nicht sicher, wie ich sie anpassen soll. Ist das folgende System solide und eindeutig ableitbar? Ein Begriff ist …

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

2

Welche Eigenschaft der Nachteile ermöglicht die Eliminierung der modulo Nachteile der Schwanzrekursion?

Ich bin mit der Idee der grundlegenden Beseitigung der Schwanzrekursion vertraut , bei der Funktionen, die das direkte Ergebnis eines Aufrufs an sich selbst zurückgeben, als iterative Schleifen umgeschrieben werden können. foo(...): # ... return foo(...) Ich verstehe auch, dass die Funktion als Sonderfall immer noch umgeschrieben werden kann, wenn …

14 compilers recursion program-optimization tail-recursion

3

Gibt es einen wirklichen Unterschied zwischen einem Compiler und einem Assembler?

Gibt es einen Unterschied zwischen den beiden? Gemäß Ullmans Buch konvertieren Compiler eine Sprache in eine andere (normalerweise niedrige) Sprache, und ein Assembler auch. Wie unterscheiden sich die beiden?

14 terminology compilers

6

Muss ein abstrakter Syntaxbaum ein Baum sein?

Muss die Ausgabe eines Parsers ein Baum sein oder könnte es auch ein allgemeiner Graph sein? Gibt es darüber hinaus eine Sprache oder eine plausible Sprache, die allgemeine Diagrammdarstellungen anstelle von Bäumen für ihre Syntax verwendet?

13 compilers parsing

3

Warum ist die Verwendung eines Lexers / Parsers für Binärdaten so falsch?

Ich arbeite oft mit Lexer / Parser im Gegensatz zu einem Parser-Kombinator und sehe, dass Leute, die noch nie eine Klasse in Parsing besucht haben, nach dem Parsen von Binärdaten fragen. Typischerweise sind die Daten nicht nur binär, sondern auch kontextsensitiv. Dies führt im Grunde dazu, dass nur eine Art …

13 programming-languages compilers parsers

2

Entfernen der linken Rekursion in der Grammatik unter Beibehaltung der linken Zuordnung des Operators

Ich habe ein Problem mit dieser Übung: Sei G die folgende mehrdeutige Grammatik für den λ-Kalkül: E → v | λv.E | EE | (E) wobei E das einzelne nicht-terminale Symbol ist, λv.E die Abstraktion der Variablen v in E darstellt und EE die Anwendung darstellt. Definieren Sie eine LL …

13 context-free formal-grammars compilers parsers

3

Wie entfernt 'Abholzung' 'Bäume' aus einem Programm?

Ich denke, ich verstehe, wie die Entwaldung eine Liste gleichzeitig verbraucht und produziert (von einer Fold- und einer Unfold- Funktion - siehe diese gute Antwort auf CodeReview hier ), aber als ich das mit dem Wikipedia-Eintrag über die Technik verglich, von der es sprach, "Entfernen" Bäume 'aus einem Programm. Ich …

12 terminology compilers functional-programming

2

Gibt es eine Möglichkeit, zwischen LL (k) - und LR (k) -Grammatik zu unterscheiden?

Ich studiere vor kurzem über das Entwerfen von Compilern. Ich habe zwei Arten von Grammatik kennengelernt: die LL-Grammatik und die LR-Grammatik. Wir kennen auch die Tatsachen, dass jede LL-Grammatik LR ist, das heißt, LL-Grammatik ist eine richtige Teilmenge der LR-Grammatik. Die erste Methode wird beim Parsen von oben nach unten …

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

1

Der „CPS“ -Ansatz hat die Leistung in SML / NJ stark beeinträchtigt. Argumentation erwünscht

In einem Kommentar zu Learning F #: Welche Bücher mit anderen Programmiersprachen können in F # übersetzt werden, um funktionale Konzepte zu lernen? Makarius erklärte: Beachten Sie, dass der "CPS" -Ansatz die Leistung in SML / NJ erheblich beeinträchtigt hat. Das physikalische Bewertungsmodell verstößt gegen zu viele Annahmen, die in …

11 compilers functional-programming proof-assistants continuations

1

Verfeinerungsarten ableiten

Bei der Arbeit wurde ich beauftragt, einige Typinformationen über eine dynamische Sprache abzuleiten. Ich schreibe Folgen von Anweisungen in verschachtelte letAusdrücke um, wie folgt: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z …

11 programming-languages logic type-theory type-inference machine-learning data-mining clustering order-theory reference-request information-theory entropy algorithms algorithm-analysis space-complexity lower-bounds formal-languages computability formal-grammars context-free parsing complexity-theory time-complexity terminology turing-machines nondeterminism programming-languages semantics operational-semantics complexity-theory time-complexity complexity-theory reference-request turing-machines machine-models simulation graphs probability-theory data-structures terminology distributed-systems hash-tables history terminology programming-languages meta-programming terminology formal-grammars compilers algorithms search-algorithms formal-languages regular-languages complexity-theory satisfiability sat-solvers factoring algorithms randomized-algorithms streaming-algorithm in-place algorithms numerical-analysis regular-languages automata finite-automata regular-expressions algorithms data-structures efficiency coding-theory algorithms graph-theory reference-request education books formal-languages context-free proof-techniques algorithms graph-theory greedy-algorithms matroids complexity-theory graph-theory np-complete intuition complexity-theory np-complete traveling-salesman algorithms graphs probabilistic-algorithms weighted-graphs data-structures time-complexity priority-queues computability turing-machines automata pushdown-automata algorithms graphs binary-trees algorithms algorithm-analysis spanning-trees terminology asymptotics landau-notation algorithms graph-theory network-flow terminology computability undecidability rice-theorem algorithms data-structures computational-geometry

Als «compilers» getaggte Fragen