By Ulrich Mahn

ISBN-10: 3540186506

ISBN-13: 9783540186502

ISBN-10: 3642517099

ISBN-13: 9783642517099

Diese Monographie gibt einen systematischen Überblick über Attributierte Grammatiken als ein Mittel zur Darstellung und examine von Kontextabhängigkeiten in Compilern unter Betonung der für Compiler-erzeugende Systeme erforderlichen Algorithmen. Attributierte Grammatiken sind ein inzwischen weltweit anerkanntes Mittel zur Beschreibung der statischen Semantik von Programmiersprachen. Mit der verstärkten Verbreitung von Compiler-Generatoren wird es auch für den Praktiker interessant, für spezielle Zwecke geeignete Sprachen zu entwickeln und zu implementieren. Diese ausführliche vergleichende Darstellung der verfügbaren Ergebnisse und Methoden weist auch dem Nichtspezialisten den Weg, einen für seine Sprache geeigneten Algorithmus zu finden. Betont werden vor der Systematik der theoretischen Erkenntnisse vor allem die in Compiler-Erzeugenden Systemen wie GAG oder HLP78 bewährten Algorithmen. Für den im Compilerbau Tätigen sind sicherlich die einheitliche Zusammenfassung der großen Vielzahl bekannter Ergebnisse über Attributierte Grammatiken und die sehr umfangreiche Bibliographie von Interesse.

Show description

Read or Download Attributierte Grammatiken und Attributierungsalgorithmen PDF

Similar german_5 books

Read e-book online Planung der Fertigungstiefe: Ein hierarchischer Ansatz PDF

Fertigungstiefenoptimierung ist em aktuelles Thema. Sowohl in der Praxis als auch in der Wissenschaft wird dieses in der betriebswirtschaftliehen Theorie lange Zeit stark ver­ nachlässigte challenge zunehmend diskutiert. Verstärkter Wettbewerbsdruck zwingt die Un­ ternehmensführungen, über die Abstimmung zwischen intern und extern auszuführenden Teilaufgaben jedes Aufgabenbereichs neu nachzudenken, um Höhe und Struktur der Kosten und die Flexiblität der Unternehmung günstig zu beeinflussen.

New PDF release: Röntgenfluoreszenzanalyse: Anwendung in Betriebslaboratorien

Röntgenfluoreszenzanalyse stellt eine moderne, leistungsfähige Analysemethode dar, die vor allem in Betriebslaboratorien zur Produktionskontrolle und -steuerung eingesetzt wird. Dieses Buch stellt Voraussetzungen, Leistungsfähigkeit, Vorzüge, Probleme und Grenzen der Methode dar. Es behandelt sowohl die wellenlängendispersiven als auch die energiedispersiven Verfahren.

Read e-book online Entwicklungsgeschichte der Modernen Physik: Zugleich Eine PDF

Dieser Buchtitel ist Teil des Digitalisierungsprojekts Springer e-book information mit Publikationen, die seit den Anfängen des Verlags von 1842 erschienen sind. Der Verlag stellt mit diesem Archiv Quellen für die historische wie auch die disziplingeschichtliche Forschung zur Verfügung, die jeweils im historischen Kontext betrachtet werden müssen.

Download e-book for kindle: Zuverlässigkeitstheorie: Eine Einführung über Mittelwerte by Winfrid G. Schneeweiss

Infolge der beschleunigt vorangetriebenen Automatisierung in unserer Zivilisa tion erleben wir eine Bliltezeit der Zuverliissigkeitstheorie. Dabei ist es ver wunderlich, daB selbst in der mehr theoretisch orientierten Literatur der groBe praktische Nutzen von Indikatorfunktionen, die die Wahrscheinlichkeitstheorie schon lange kennt, nicht oder nur teilweise ausgeschopft wird.

Additional info for Attributierte Grammatiken und Attributierungsalgorithmen

Example text

Np ' * v(n) + c 5 Zeit benotigt, n ,) p ). Der Platzbedarf bleibt jedoch unabhangig von G' und polynomial fur eine einzelne Produktion. Die Schritte 2) (Entfernen nutzloser Produktionen) und 3) (Hullenberechnung) sind kubische Algorithmen, benotigen also maximal Insgesamt hat der Algorithmus also eine Zeitkomplexitat von O(2 n ). d. > O(2 n ) Beweis: folgt direkt aus den beiden obigen Satzen Folgerung [JOR75] Jeder Algorithmus zur Losung des Circularity-Problems ist von exponentieller Zeitkomp 1exi tat.

Dieses Resultat begrundet die Entwicklung der verschiedenen Arten von Attributierten Grammatiken, in denen Zyklenfreiheit mit vertretbarem Aufwand getestet werden kann. Diese AG werden in den folgenden Abschnitten untersucht. 4. lyklenfreiheitstest nach Chebotar Ein weiterer eher pragmatischer Algorithmus zum Test auf lyklenfreiheit stammt von [Che8l]. Dieses Verfahren nutzt die syntaktischen Abhangigkeiten der Symbole X E V der zugrundeliegenden CFG, urn die gegebene AG in eine Folge von Teilgrammatiken zu zerlegen.

Cen,x); C1(j-1,a) .... cej,a) fur alle a E L, j=2, ••. ,2n-1,jtn C2 (n+1'Y2) .... C(n,x); C2 (j+1,a) .... •. ,2n-2,jtn C3(n+1'Y3) .... C(n,x); C3(j+1,a) .... C(j,a) fur alle a E L, j=1, •.. ,2n-2,jtn C(j,*) .... • ,2n-2 C(l,*) .... C2 (2,*) + C3(2,*); C(2n-1,*) .... B. B. die Uberfuhrungsregel 6(q,x) z {(q1'Y1,L),(qZ'YZ,L),(q3'Y3,R)} gegeben, so sei £ P mit den Attributierungsregeln + C(j,a) fur alle a £ L, j=l, ••• ,Zn-Z,jtn C1(n+1'Y1) ~ C(n,x); C1(j+1,a) CZ(n+1,yZ) ~ C1(n+1,*); CZ(j+1,a) ~ C1(j+1,*) fur alle a£L,j=l, ••• ,Zn-Z,jrn C3(n-1'Y3) ~ CZ(n+1,*); C3 (j-1,a) ~ CZ(j+1,a) fur a11e a£L,j=l, ••• ,Zn-Z,jtn C(n,*) ~ C3(n-1,*); C(j,*) ~ ~ C3(j-1,*) fur a11e j=Z, ...

Download PDF sample

Attributierte Grammatiken und Attributierungsalgorithmen by Ulrich Mahn


by Richard
4.2

Rated 4.72 of 5 – based on 33 votes