Computerwissenschaften compilers

3

Dies ist eine Frage aus dem Drachenbuch. Das ist die Grammatik: S→AaAb∣BbBaS.→EINeinEINb∣B.bB.einS \to AaAb \mid BbBa B → εA→εEIN→εA \to \varepsilon B→εB.→εB \to \varepsilon In der Frage wird gefragt, wie gezeigt werden kann, dass es sich um LL (1) handelt, nicht jedoch um SLR (1). Um zu beweisen, dass es …

11 formal-grammars compilers parsers

3

Rekursiver Abstiegsparser mit Backtracking für die Grammatik

Kann mich jemand aufklären, warum ein rekursiver Abstiegsparser mit Backtracking, der die Produktionen und S → a a (in dieser Reihenfolge) versucht, die durch die Grammatik S → a S a | gebildete Sprache nicht erkennt a a .S→aSaS→aSaS \rightarrow aSaS→aaS→aaS \rightarrow aaS→aSa | aaS→aSa | aaS \rightarrow aSa\ |\ …

10 context-free formal-grammars compilers parsers

3

Erste Schritte mit der Programmanalyse

Ich suche nach Ressourcen für den Einstieg in die Programmanalyse . Das einzige Buch, das ich zu diesem Thema gefunden habe, ist das Nielson & Nielson- Buch. Davon abgesehen scheint es nur "Compiler" -Bücher zu geben, in denen "Programmanalyse" ein Kapitel oder etwas in dieser Richtung wäre. Kennen die Leute …

10 reference-request compilers semantics

2

Theoretische Mindestanzahl von Registern für einen modernen Computer?

Ich habe in meinem Grundstudium einen Kurs über Compiler besucht, in dem wir einen Compiler geschrieben haben, der Quellprogramme in einer Spielzeug-Java-ähnlichen Sprache zu einer Spielzeug-Assemblersprache kompiliert (für die wir einen Dolmetscher hatten). Im Projekt haben wir einige Annahmen über den Zielcomputer getroffen, die eng mit "echten" nativen ausführbaren Dateien …

10 compilers computer-architecture

1

Welche Zeichen können bei einer gegebenen Zeichenfolge und einer CFG der Zeichenfolge folgen (in den Sententialformen der CFG)?

Lassen die Menge der Klemme und sein N die Menge der Nicht-Terminal - Symbole einiger kontextfreien Grammatik G .ΣΣ\SigmaN.NNGGG Sagen , ich habe einen String , so dass x a y ∈ S ( G ) , wobei x , y ∈ ( & Sigma; ∪ N ) * und …

10 algorithms context-free formal-grammars compilers

2

Kompilieren Sie eine Programmiersprache mit sich selbst

Ich bin ein Informatikstudent. Ich möchte meine eigene Programmiersprache erstellen (eine Basissprache mit wenigen Anweisungen). Ich weiß, wie man einen syntaktischen Analysator macht, ich habe es bereits in Perl gemacht. In einem Artikel habe ich etwas über den Compiler gelesen, ein Compiler ist an sich gemacht. Zum Beispiel ist der …

10 programming-languages compilers

1

Was ist ein nicht erfundenes Beispiel für eine zu konservative statische Typprüfung?

In Concepts in Programming Languages schreibt John Mitchell, dass die statische Typprüfung aufgrund des Halteproblems notwendigerweise konservativ (zu streng) ist. Er gibt als Beispiel: if (complicated-expression-that-could-run-forever) then (expression-with-type-error) else (expression-with-type-error) Kann jemand eine nicht erfundene Antwort geben, die wirklich ein praktisches Anliegen wäre? Ich verstehe, dass Java dynamisch überprüfte Casts …

9 programming-languages compilers type-checking

3

Äquivalenz von Datenflussanalyse, abstrakter Interpretation und Typinferenz?

Die Antwort von @ Babou auf eine kürzlich gestellte Frage erinnert mich daran, dass ich einmal einen Artikel über die Äquivalenz (sowohl hinsichtlich der Fakten, die abgeleitet oder bewiesen werden können, als auch hinsichtlich der zeitlichen Komplexität der Ausführung des Inferenzalgorithmus) der Datenflussanalyse gelesen habe , abstrakte Interpretation und Typinferenz …

9 reference-request compilers type-inference program-optimization

3

Cross Compiler T-Diagramm

Ich studiere Bootstrapping von Red Dragon Book Compilern und fand das T-Diagramm für Cross Compiler ziemlich verwirrend. Ich kann nicht verstehen, was unter "Compiler1 bis Compiler2 ausführen" zu verstehen ist. Kann jemand eine bessere Erklärung, Analogie oder ein Beispiel für einen realen Compiler liefern? Zuerst eine Notation. Mit meine ich …

9 compilers terminology

1

Darstellung der Verkettung auf Typebene

Ich möchte mehr über die verkettete Programmierung erfahren, indem ich eine kleine einfache Sprache erstelle, die auf dem Stapel basiert und dem verketteten Paradigma folgt. Leider habe ich nicht viele Ressourcen zu verketteten Sprachen und deren Implementierung gefunden. Entschuldigen Sie mich daher im Voraus für meine mögliche Naivität. Ich habe …

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

2

Assembly Writer gegen Compiler in der VLIW-Architektur

Ich habe diesen Satz in einem Buch gelesen: In der VLIW-Architektur wählt der Compiler / und / oder Assembly Writer Anweisungen aus, die parallel ausgeführt werden können. Was ist der Unterschied zwischen Assembly Writer und Compiler? Würde ein Assembler auch dasselbe bedeuten wie ein Assembler?

8 compilers assembly

4

Erstellen wir eine Programmiersprache, indem wir einen Compiler schreiben?

Angenommen, ich wollte meine eigene Programmiersprache erstellen. Unter der Annahme, dass ich alle Entscheidungen darüber getroffen habe, wie es aussehen und sich verhalten soll, muss ich nur einen Compiler dafür schreiben? Ist der Java-Code auf hoher Ebene etwas anderes als nur Text, und dieser Text hat das richtige Format, damit …

8 programming-languages compilers

1

Qualitativ hochwertige LISP / Scheme-Compiler, die mit C / C ++ konkurrieren können

Ist es theoretisch möglich, einen Lisp / Scheme-Compiler zu haben, der Code erzeugen kann, der mit kompiliertem C konkurrieren kann, sagen wir innerhalb einer Marge von 15-25%? Bei meinen Tests habe ich festgestellt, dass die aktuelle Anzahl von Compilern (Bigloo, SBCL, Gambit, Chicken usw.) 20-50-mal langsamer ist als der entsprechende …

8 optimization compilers

3

Ableiten des regulären Ausdrucks für C-style / ** / Kommentare

Ich arbeite an einem Parser für eine Sprache im C-Stil, und für diesen Parser benötige ich den regulären Ausdruck, der mit C-Stil / ** / Kommentare übereinstimmt. Jetzt habe ich diesen Ausdruck im Web gefunden: /\*([^\*]*\*+[^\*/])*([^\*]*\*+|[^\*]*\*/ Wie Sie sehen, ist dies jedoch ein ziemlich chaotischer Ausdruck, und ich habe keine …

8 compilers parsers regular-languages

4

Ein schnelleres, schlankeres JavaScript für das wissenschaftliche Rechnen: Welche Funktionen sollte ich behalten?

Hier bin ich wirklich daran interessiert, Hindernisse für den Mathematikunterricht abzubauen. Ziel: Ich würde gerne sehen, dass es für die JavaScript-Community erstellt wurde, ein Äquivalent zu den Python-basierten / verknüpften wissenschaftlichen und leistungsstarken Computerbibliotheken (große Listen davon sind über Sage und andere verfügbar ). Und das möchte ich, weil ich …

8 programming-languages compilers performance

Als «compilers» getaggte Fragen