Syntaxbaum - Versionsgeschichte

Invisigoth67: typo

2024-09-01T14:33:59Z

typo

← Nächstältere Version		Version vom 1. September 2024, 16:33 Uhr
Zeile 23:		Zeile 23:
	* Ist ein Blatt mit <math>\varepsilon</math> gekennzeichnet, so ist es der einzige Nachfolger seines Vorgängerknotens.		* Ist ein Blatt mit <math>\varepsilon</math> gekennzeichnet, so ist es der einzige Nachfolger seines Vorgängerknotens.

	Als innere Knoten kommen also nur Nichtterminalsymbole in Frage, sowie für die Blätter nur die Terminalsymbole oder das leere Wort.		Als innere Knoten kommen also nur Nichtterminalsymbole in Frage sowie für die Blätter nur die Terminalsymbole oder das leere Wort.

	=== Konstruktion von Ableitungsbäumen ===		=== Konstruktion von Ableitungsbäumen ===

2A00:6020:4E18:8300:BEAE:C5FF:FE5A:EEF9: /* Abstrakte Syntaxbäume */

2022-11-20T16:58:57Z

Abstrakte Syntaxbäume

← Nächstältere Version		Version vom 20. November 2022, 18:58 Uhr
Zeile 128:		Zeile 128:
	\|}		\|}

	Die konkrete Grammatik in diesem Beispiel muss insbesondere die [[Operatorrangfolge\|Anwendungsreihenfolge von Operatoren]] auf die (Teil-)Ausdrücke regeln – also dass Punkt- vor Strichrechnung geht und die Teilausdrücke gleicher Priorität von links nach rechts zusammenzufassen sind. Ebenso wird mit Klammerausdrücken die Möglichkeit angeboten, eine andere Zusammenfassung zu bewirken. Dies sind zusammen mit bestimmten Terminalen (hier "(", ")", "+", "*") lediglich Eigenschaften der syntaktischen Oberfläche, die in der späteren Analyse und Weiterverarbeitung keine Rolle mehr spielen. Insbesondere kann auf die Unterscheidung in verschiedene Arten von Ausdrücken (hier E, T und F) sowie die Schlüsselworte völlig verzichtet werden, wie man am abstrakten Syntaxbaum sieht, der auch deutlich näher am "Inhalt" des Ausdrucks ist. Ferner werden konkrete Ableitungsbäume wegen ~~diese~~ Oberflächendetails nicht nur schnell unübersichtlich, sondern belegen auch als Datenstruktur im Rechner durch ihre Details mehr Speicherplatz als nötig. Dies schlägt sich ebenfalls in der Laufzeit und Kompliziertheit der Programme nieder, die später den Ableitungsbaum weiter verarbeiten sollen. Auch aus technischen Gründen wird die Zergliederung eines Quelltextes daher meist nicht durch einen konkreten Ableitungsbaum dargestellt.		Die konkrete Grammatik in diesem Beispiel muss insbesondere die [[Operatorrangfolge\|Anwendungsreihenfolge von Operatoren]] auf die (Teil-)Ausdrücke regeln – also dass Punkt- vor Strichrechnung geht und die Teilausdrücke gleicher Priorität von links nach rechts zusammenzufassen sind. Ebenso wird mit Klammerausdrücken die Möglichkeit angeboten, eine andere Zusammenfassung zu bewirken. Dies sind zusammen mit bestimmten Terminalen (hier "(", ")", "+", "*") lediglich Eigenschaften der syntaktischen Oberfläche, die in der späteren Analyse und Weiterverarbeitung keine Rolle mehr spielen. Insbesondere kann auf die Unterscheidung in verschiedene Arten von Ausdrücken (hier E, T und F) sowie die Schlüsselworte völlig verzichtet werden, wie man am abstrakten Syntaxbaum sieht, der auch deutlich näher am "Inhalt" des Ausdrucks ist. Ferner werden konkrete Ableitungsbäume wegen dieser Oberflächendetails nicht nur schnell unübersichtlich, sondern belegen auch als Datenstruktur im Rechner durch ihre Details mehr Speicherplatz als nötig. Dies schlägt sich ebenfalls in der Laufzeit und Kompliziertheit der Programme nieder, die später den Ableitungsbaum weiter verarbeiten sollen. Auch aus technischen Gründen wird die Zergliederung eines Quelltextes daher meist nicht durch einen konkreten Ableitungsbaum dargestellt.

	=== Darstellung abstrakter Syntaxbäume ===		=== Darstellung abstrakter Syntaxbäume ===

Radiojunkie: /* Einleitung */ Typo

2022-05-18T12:27:03Z

Einleitung: Typo

← Nächstältere Version		Version vom 18. Mai 2022, 14:27 Uhr
Zeile 11:		Zeile 11:
	Technisch bezeichnet man den nebenstehenden Baum auch als ''konkreten Ableitungsbaum'', da er die resultierende Struktur anhand des konkreten Textes exakt darstellt. In der Linguistik sind jedoch auch Modelle gängig, die mehrere Schichten der Repräsentation vorsehen (z. B. Oberflächen- und [[Tiefenstruktur]]).		Technisch bezeichnet man den nebenstehenden Baum auch als ''konkreten Ableitungsbaum'', da er die resultierende Struktur anhand des konkreten Textes exakt darstellt. In der Linguistik sind jedoch auch Modelle gängig, die mehrere Schichten der Repräsentation vorsehen (z. B. Oberflächen- und [[Tiefenstruktur]]).

	Oftmals werden die Knoten des Baums mit Attributen angereichert (in der Linguistik sind dies dann vor allem [[Grammatische Kategorie\|morphologische Kategorien]]).<ref> Müller (2018), S. 59f.</ref> Man erhält so einen ''attributierten Syntaxbaum'' mit zugehöriger [[Attributgrammatik\|attributierter Grammatik]]. Während in den ersten beiden Baumdarstellungen eine [[kontextfreie Grammatik]] verwendet wird, kommt in letzterer die [[Kontextabhängigkeit]] zum Tragen. Diese Unterschiede spiegeln sich in der [[Chomsky-Hierarchie]] ~~wieder~~. Im Compilerbau spricht man in solchen Fällen bereits von [[Compiler#Semantische Analyse\|semantischer Analyse]].		Oftmals werden die Knoten des Baums mit Attributen angereichert (in der Linguistik sind dies dann vor allem [[Grammatische Kategorie\|morphologische Kategorien]]).<ref> Müller (2018), S. 59f.</ref> Man erhält so einen ''attributierten Syntaxbaum'' mit zugehöriger [[Attributgrammatik\|attributierter Grammatik]]. Während in den ersten beiden Baumdarstellungen eine [[kontextfreie Grammatik]] verwendet wird, kommt in letzterer die [[Kontextabhängigkeit]] zum Tragen. Diese Unterschiede spiegeln sich in der [[Chomsky-Hierarchie]] wider. Im Compilerbau spricht man in solchen Fällen bereits von [[Compiler#Semantische Analyse\|semantischer Analyse]].

	== Ableitungsbäume ==		== Ableitungsbäume ==

UNTERMVIERENBERGE-2: + Abschnitt "Weblinks"

2021-10-27T20:19:57Z

+ Abschnitt "Weblinks"

← Nächstältere Version		Version vom 27. Oktober 2021, 22:19 Uhr
Zeile 149:		Zeile 149:
	* {{Literatur\| Autor=[[Hans Jürgen Heringer]]\| Titel=Deutsche Syntax\|Verlag=Walter de Gruyter\| Ort=Berlin/New York\| Kapitel=1.6 Beschreibung von Sätzen mit dem Konstitutionssystem\| Seiten=30-31\| ISBN=3-11-004015-8\|Datum=1972}}		* {{Literatur\| Autor=[[Hans Jürgen Heringer]]\| Titel=Deutsche Syntax\|Verlag=Walter de Gruyter\| Ort=Berlin/New York\| Kapitel=1.6 Beschreibung von Sätzen mit dem Konstitutionssystem\| Seiten=30-31\| ISBN=3-11-004015-8\|Datum=1972}}
	* {{Literatur\| Autor=[[Ulrich Engel (Philologe)\|Ulrich Engel]]\| Titel=Syntax der deutschen Gegenwartssprache\|Verlag=Erich Schmidt Verlag\| Ort=Berlin\| Kapitel=1.10 Diagramme in der Grammatik\| Seiten=42-43\| ISBN=3-503-01696-1\|Datum=1981}} -->		* {{Literatur\| Autor=[[Ulrich Engel (Philologe)\|Ulrich Engel]]\| Titel=Syntax der deutschen Gegenwartssprache\|Verlag=Erich Schmidt Verlag\| Ort=Berlin\| Kapitel=1.10 Diagramme in der Grammatik\| Seiten=42-43\| ISBN=3-503-01696-1\|Datum=1981}} -->

			== Weblinks ==
			{{Commonscat\|Syntax trees\|Syntaxbaum}}

	== Einzelnachweise ==		== Einzelnachweise ==
	<references />		<references />


	[[Kategorie:Compilerbau]]		[[Kategorie:Compilerbau]]

JamesP: fix typo

2021-03-14T16:07:23Z

fix typo

← Nächstältere Version		Version vom 14. März 2021, 18:07 Uhr
Zeile 136:		Zeile 136:
	=== Abstrakte Grammatik ===		=== Abstrakte Grammatik ===

	Während abstrakte Syntaxbäume ''Datenstrukturen'' sind und algebraische Typen bei ihnen in die Rolle der Grammatik treten, wird in der Literatur, speziell im Zusammenhang mit Kalkülen oft nur eine vergröberte, mehrdeutige Grammatik angegeben, die, wie in obigem Beispiel gezeigt, zwar dieselbe Struktur wie die Terme haben, aber noch Schlüsselworte enthalten. Diese Form ermöglicht eine dann vor allem eine angenehme Niederschrift abstrakter Syntaxbäume, die der eigentlichen Quelle oft sehr nahe ist. Meist wird einleitend darauf hingewiesen, dass zur Vereindeutigung Klammern gesetzt werden dürfen. ~~Eine~~ abstrakter Syntaxbaum für das obige Beispiel würde dann tatsächlich als <code>a * (b + 3)</code> niedergeschrieben. Im Kontext dieser Literatur liegt der Blick dabei aber stets auf dem Term. Wie erwähnt, werden die Grenzen zwischen Grammatik und Algebra durch ein Spiel mit der Form verwischt.		Während abstrakte Syntaxbäume ''Datenstrukturen'' sind und algebraische Typen bei ihnen in die Rolle der Grammatik treten, wird in der Literatur, speziell im Zusammenhang mit Kalkülen oft nur eine vergröberte, mehrdeutige Grammatik angegeben, die, wie in obigem Beispiel gezeigt, zwar dieselbe Struktur wie die Terme haben, aber noch Schlüsselworte enthalten. Diese Form ermöglicht eine dann vor allem eine angenehme Niederschrift abstrakter Syntaxbäume, die der eigentlichen Quelle oft sehr nahe ist. Meist wird einleitend darauf hingewiesen, dass zur Vereindeutigung Klammern gesetzt werden dürfen. Ein abstrakter Syntaxbaum für das obige Beispiel würde dann tatsächlich als <code>a * (b + 3)</code> niedergeschrieben. Im Kontext dieser Literatur liegt der Blick dabei aber stets auf dem Term. Wie erwähnt, werden die Grenzen zwischen Grammatik und Algebra durch ein Spiel mit der Form verwischt.

	Ein typisches Beispiel sind die Ausdrücke im [[Lambda-Kalkül]], deren abstrakte Grammatik oft nur knapp als <math>E := \lambda V . E\, \|\, E E\, \|\, V</math> niedergeschrieben wird. Dieselbe Technik wird aber auch für umfangreiche Grammatiken eingesetzt.		Ein typisches Beispiel sind die Ausdrücke im [[Lambda-Kalkül]], deren abstrakte Grammatik oft nur knapp als <math>E := \lambda V . E\, \|\, E E\, \|\, V</math> niedergeschrieben wird. Dieselbe Technik wird aber auch für umfangreiche Grammatiken eingesetzt.

Aka: /* Literatur */ https

2021-02-08T18:08:40Z

Literatur: https

← Nächstältere Version		Version vom 8. Februar 2021, 20:08 Uhr
Zeile 145:		Zeile 145:
	* {{Literatur\| Autor=[[Juraj Hromkovič]]\| Titel=Theoretische Informatik\| TitelErg=Formale Sprachen, Berechenbarkeit, Komplexitätstheorie, Algorithmik, Kommunikation und Kryptographie\| Auflage=3\| Verlag=B.G. Teubner Verlag\| Ort=Heidelberg\| Kapitel=10.4 Kontextfreie Grammatiken und Kellerautomaten\| Seiten=378\| ISBN=978-3-8351-0043-5}}		* {{Literatur\| Autor=[[Juraj Hromkovič]]\| Titel=Theoretische Informatik\| TitelErg=Formale Sprachen, Berechenbarkeit, Komplexitätstheorie, Algorithmik, Kommunikation und Kryptographie\| Auflage=3\| Verlag=B.G. Teubner Verlag\| Ort=Heidelberg\| Kapitel=10.4 Kontextfreie Grammatiken und Kellerautomaten\| Seiten=378\| ISBN=978-3-8351-0043-5}}
	* {{Literatur\| Autor=Hans Zima\| Titel=Compilerbau I\| TitelErg=Analyse\| Verlag=Bibliographisches Institut\| Ort=Mannheim/Wien/Zürich\| Kapitel=4.3 Abstrakte Bäume und ihre Attributierung\| Seiten=216-229\| ISBN=3-411-01644-2\|Datum=1982}}		* {{Literatur\| Autor=Hans Zima\| Titel=Compilerbau I\| TitelErg=Analyse\| Verlag=Bibliographisches Institut\| Ort=Mannheim/Wien/Zürich\| Kapitel=4.3 Abstrakte Bäume und ihre Attributierung\| Seiten=216-229\| ISBN=3-411-01644-2\|Datum=1982}}
	* {{Literatur\| Autor=[[Stefan Müller (Germanist)\|Stefan Müller]]\| Titel=Grammatical Theory. From transformational grammar to constraint-based approaches.\| Auflage=2\| Verlag=Language Science Press\| Ort=Berlin\| Kapitel=2\| ISBN=978-3-96110-074-3\|Datum=2018\|Online = ~~http~~://langsci-press.org/catalog/book/195}}		* {{Literatur\| Autor=[[Stefan Müller (Germanist)\|Stefan Müller]]\| Titel=Grammatical Theory. From transformational grammar to constraint-based approaches.\| Auflage=2\| Verlag=Language Science Press\| Ort=Berlin\| Kapitel=2\| ISBN=978-3-96110-074-3\|Datum=2018\|Online = https://langsci-press.org/catalog/book/195}}
	<!-- sehr alt!		<!-- sehr alt!
	* {{Literatur\| Autor=[[Hans Jürgen Heringer]]\| Titel=Deutsche Syntax\|Verlag=Walter de Gruyter\| Ort=Berlin/New York\| Kapitel=1.6 Beschreibung von Sätzen mit dem Konstitutionssystem\| Seiten=30-31\| ISBN=3-11-004015-8\|Datum=1972}}		* {{Literatur\| Autor=[[Hans Jürgen Heringer]]\| Titel=Deutsche Syntax\|Verlag=Walter de Gruyter\| Ort=Berlin/New York\| Kapitel=1.6 Beschreibung von Sätzen mit dem Konstitutionssystem\| Seiten=30-31\| ISBN=3-11-004015-8\|Datum=1972}}

89.14.36.186: Typo

2020-06-16T21:06:26Z

Typo

← Nächstältere Version		Version vom 16. Juni 2020, 23:06 Uhr
Zeile 90:		Zeile 90:
	Für die Darstellung von Syntaxbäumen als [[Datenstruktur]] in einem Rechner wird die Bezeichnung ''abstrakter Syntaxbaum'' (engl.: abstract syntax tree (AST)) inzwischen recht einheitlich verwendet, wobei die Terminologie auch hier schwankt und z. B. ebenfalls von ''abstrakten Ableitungsbäumen'', ''Operatorbäumen'' o. Ä. die Rede sein kann. Ein exakter Zusammenhang von abstraktem Syntaxbaum und konkretem Ableitungsbaum wird in der Literatur z. T. angedeutet. Allerdings gehen bei diesen neben einer Vergröberung des Ableitungsbaums auch Erfordernisse der weiteren Verarbeitung mit in den Aufbau ein, so dass eine direkte formale Herleitung aus der Oberflächengrammatik meist im Ergebnis nicht zufriedenstellend ist.		Für die Darstellung von Syntaxbäumen als [[Datenstruktur]] in einem Rechner wird die Bezeichnung ''abstrakter Syntaxbaum'' (engl.: abstract syntax tree (AST)) inzwischen recht einheitlich verwendet, wobei die Terminologie auch hier schwankt und z. B. ebenfalls von ''abstrakten Ableitungsbäumen'', ''Operatorbäumen'' o. Ä. die Rede sein kann. Ein exakter Zusammenhang von abstraktem Syntaxbaum und konkretem Ableitungsbaum wird in der Literatur z. T. angedeutet. Allerdings gehen bei diesen neben einer Vergröberung des Ableitungsbaums auch Erfordernisse der weiteren Verarbeitung mit in den Aufbau ein, so dass eine direkte formale Herleitung aus der Oberflächengrammatik meist im Ergebnis nicht zufriedenstellend ist.

	Der kontextfreien Oberflächengrammatik steht dann ~~einer~~ ''abstrakte Grammatik'' gegenüber, die im engeren Sinne aber meist ein [[Funktionallogische Programmierung#Algebraische Datentypen\|algebraischer Datentyp]] ist. Die Syntaxbäume werden dann als [[Sortenlogik#Terme in vielsortiger Logik\|vielsortige Terme]] technisch repräsentiert. Die Analyse befindet sich dabei im Übergang zwischen grammatischen und algebraisch-logischen Begriffen, so dass hier fließend sowohl von Nonterminalen und Typen oder von Bäumen und Termen die Rede sein kann.		Der kontextfreien Oberflächengrammatik steht dann eine ''abstrakte Grammatik'' gegenüber, die im engeren Sinne aber meist ein [[Funktionallogische Programmierung#Algebraische Datentypen\|algebraischer Datentyp]] ist. Die Syntaxbäume werden dann als [[Sortenlogik#Terme in vielsortiger Logik\|vielsortige Terme]] technisch repräsentiert. Die Analyse befindet sich dabei im Übergang zwischen grammatischen und algebraisch-logischen Begriffen, so dass hier fließend sowohl von Nonterminalen und Typen oder von Bäumen und Termen die Rede sein kann.

	=== Beispiel ===		=== Beispiel ===

Aka: Punkt hinter Abkürzung gesetzt, Kleinkram

2020-04-13T12:34:20Z

Punkt hinter Abkürzung gesetzt, Kleinkram

← Nächstältere Version		Version vom 13. April 2020, 14:34 Uhr
Zeile 88:		Zeile 88:

	== Abstrakte Syntaxbäume ==		== Abstrakte Syntaxbäume ==
	Für die Darstellung von Syntaxbäumen als [[Datenstruktur]] in einem Rechner wird die Bezeichnung ''abstrakter Syntaxbaum'' (engl: abstract syntax tree (AST)) inzwischen recht einheitlich verwendet, wobei die Terminologie auch hier schwankt und z. B. ebenfalls von ''abstrakten Ableitungsbäumen'', ''Operatorbäumen'' o. Ä. die Rede sein kann. Ein exakter Zusammenhang von abstraktem Syntaxbaum und konkretem Ableitungsbaum wird in der Literatur z. T. angedeutet. Allerdings gehen bei diesen neben einer Vergröberung des Ableitungsbaums auch Erfordernisse der weiteren Verarbeitung mit in den Aufbau ein, so dass eine direkte formale Herleitung aus der Oberflächengrammatik meist im Ergebnis nicht zufriedenstellend ist.		Für die Darstellung von Syntaxbäumen als [[Datenstruktur]] in einem Rechner wird die Bezeichnung ''abstrakter Syntaxbaum'' (engl.: abstract syntax tree (AST)) inzwischen recht einheitlich verwendet, wobei die Terminologie auch hier schwankt und z. B. ebenfalls von ''abstrakten Ableitungsbäumen'', ''Operatorbäumen'' o. Ä. die Rede sein kann. Ein exakter Zusammenhang von abstraktem Syntaxbaum und konkretem Ableitungsbaum wird in der Literatur z. T. angedeutet. Allerdings gehen bei diesen neben einer Vergröberung des Ableitungsbaums auch Erfordernisse der weiteren Verarbeitung mit in den Aufbau ein, so dass eine direkte formale Herleitung aus der Oberflächengrammatik meist im Ergebnis nicht zufriedenstellend ist.

	Der kontextfreien Oberflächengrammatik steht dann einer ''abstrakte Grammatik'' gegenüber, die im engeren Sinne aber meist ein [[Funktionallogische Programmierung#Algebraische Datentypen\|algebraischer Datentyp]] ist. Die Syntaxbäume werden dann als [[Sortenlogik#Terme in vielsortiger Logik\|vielsortige Terme]] technisch repräsentiert. Die Analyse befindet sich dabei im Übergang zwischen grammatischen und algebraisch-logischen Begriffen, so dass hier fließend sowohl von Nonterminalen und Typen oder von Bäumen und Termen die Rede sein kann.		Der kontextfreien Oberflächengrammatik steht dann einer ''abstrakte Grammatik'' gegenüber, die im engeren Sinne aber meist ein [[Funktionallogische Programmierung#Algebraische Datentypen\|algebraischer Datentyp]] ist. Die Syntaxbäume werden dann als [[Sortenlogik#Terme in vielsortiger Logik\|vielsortige Terme]] technisch repräsentiert. Die Analyse befindet sich dabei im Übergang zwischen grammatischen und algebraisch-logischen Begriffen, so dass hier fließend sowohl von Nonterminalen und Typen oder von Bäumen und Termen die Rede sein kann.
Zeile 142:		Zeile 142:
	== Literatur ==		== Literatur ==
	* {{Literatur\| Autor=[[Ingo Wegener]]\| Titel=Theoretische Informatik\| TitelErg=Eine algorithmenorientierte Einführung\| Verlag=B.G. Teubner\| Ort=Stuttgart\| Kapitel=6.1 Beispiele kontextfreier Sprachen und Syntaxbäume\| Seiten=147-148\| ISBN=3-519-02123-4}}		* {{Literatur\| Autor=[[Ingo Wegener]]\| Titel=Theoretische Informatik\| TitelErg=Eine algorithmenorientierte Einführung\| Verlag=B.G. Teubner\| Ort=Stuttgart\| Kapitel=6.1 Beispiele kontextfreier Sprachen und Syntaxbäume\| Seiten=147-148\| ISBN=3-519-02123-4}}
	*{{Literatur\| Autor=[[Uwe Schöning]]\| Titel=Theoretische Informatik – kurz gefasst\| Auflage=5\| Verlag=Spektrum Akademischer Verlag\| Ort=Heidelberg\| Kapitel=1.1.4 Syntaxbäume\| Seiten=15-17\| ISBN=978-3-8274-1824-1}}		* {{Literatur\| Autor=[[Uwe Schöning]]\| Titel=Theoretische Informatik – kurz gefasst\| Auflage=5\| Verlag=Spektrum Akademischer Verlag\| Ort=Heidelberg\| Kapitel=1.1.4 Syntaxbäume\| Seiten=15-17\| ISBN=978-3-8274-1824-1}}
	*{{Literatur\| Autor=[[Juraj Hromkovič]]\| Titel=Theoretische Informatik\| TitelErg=Formale Sprachen, Berechenbarkeit, Komplexitätstheorie, Algorithmik, Kommunikation und Kryptographie\| Auflage=3\| Verlag=B.G. Teubner Verlag\| Ort=Heidelberg\| Kapitel=10.4 Kontextfreie Grammatiken und Kellerautomaten\| Seiten=378\| ISBN=978-3-8351-0043-5}}		* {{Literatur\| Autor=[[Juraj Hromkovič]]\| Titel=Theoretische Informatik\| TitelErg=Formale Sprachen, Berechenbarkeit, Komplexitätstheorie, Algorithmik, Kommunikation und Kryptographie\| Auflage=3\| Verlag=B.G. Teubner Verlag\| Ort=Heidelberg\| Kapitel=10.4 Kontextfreie Grammatiken und Kellerautomaten\| Seiten=378\| ISBN=978-3-8351-0043-5}}
	* {{Literatur\| Autor=Hans Zima\| Titel=Compilerbau I\| TitelErg=Analyse\| Verlag=Bibliographisches Institut\| Ort=Mannheim/Wien/Zürich\| Kapitel=4.3 Abstrakte Bäume und ihre Attributierung\| Seiten=216-229\| ISBN=3-411-01644-2\|Datum=1982}}		* {{Literatur\| Autor=Hans Zima\| Titel=Compilerbau I\| TitelErg=Analyse\| Verlag=Bibliographisches Institut\| Ort=Mannheim/Wien/Zürich\| Kapitel=4.3 Abstrakte Bäume und ihre Attributierung\| Seiten=216-229\| ISBN=3-411-01644-2\|Datum=1982}}
	* {{Literatur\| Autor=[[Stefan Müller (Germanist)\|Stefan Müller]]\| Titel=Grammatical Theory. From transformational grammar to constraint-based approaches.\| Auflage=2\| Verlag=Language Science Press\| Ort=Berlin\| Kapitel=2\| ISBN=978-3-96110-074-3\|Datum=2018\|Online = http://langsci-press.org/catalog/book/195}}		* {{Literatur\| Autor=[[Stefan Müller (Germanist)\|Stefan Müller]]\| Titel=Grammatical Theory. From transformational grammar to constraint-based approaches.\| Auflage=2\| Verlag=Language Science Press\| Ort=Berlin\| Kapitel=2\| ISBN=978-3-96110-074-3\|Datum=2018\|Online = http://langsci-press.org/catalog/book/195}}

2.247.245.124: Rechtschreibung: https://www.duden.de/rechtschreibung/Compiler

2019-12-07T00:25:58Z

Rechtschreibung: https://www.duden.de/rechtschreibung/Compiler

← Nächstältere Version		Version vom 7. Dezember 2019, 02:25 Uhr
Zeile 11:		Zeile 11:
	Technisch bezeichnet man den nebenstehenden Baum auch als ''konkreten Ableitungsbaum'', da er die resultierende Struktur anhand des konkreten Textes exakt darstellt. In der Linguistik sind jedoch auch Modelle gängig, die mehrere Schichten der Repräsentation vorsehen (z. B. Oberflächen- und [[Tiefenstruktur]]).		Technisch bezeichnet man den nebenstehenden Baum auch als ''konkreten Ableitungsbaum'', da er die resultierende Struktur anhand des konkreten Textes exakt darstellt. In der Linguistik sind jedoch auch Modelle gängig, die mehrere Schichten der Repräsentation vorsehen (z. B. Oberflächen- und [[Tiefenstruktur]]).

	Oftmals werden die Knoten des Baums mit Attributen angereichert (in der Linguistik sind dies dann vor allem [[Grammatische Kategorie\|morphologische Kategorien]]).<ref> Müller (2018), S. 59f.</ref> Man erhält so einen ''attributierten Syntaxbaum'' mit zugehöriger [[Attributgrammatik\|attributierter Grammatik]]. Während in den ersten beiden Baumdarstellungen eine [[kontextfreie Grammatik]] verwendet wird, kommt in letzterer die [[Kontextabhängigkeit]] zum Tragen. Diese Unterschiede spiegeln sich in der [[Chomsky-Hierarchie]] wieder. Im ~~Kompilerbau~~ spricht man in solchen Fällen bereits von [[Compiler#Semantische Analyse\|semantischer Analyse]].		Oftmals werden die Knoten des Baums mit Attributen angereichert (in der Linguistik sind dies dann vor allem [[Grammatische Kategorie\|morphologische Kategorien]]).<ref> Müller (2018), S. 59f.</ref> Man erhält so einen ''attributierten Syntaxbaum'' mit zugehöriger [[Attributgrammatik\|attributierter Grammatik]]. Während in den ersten beiden Baumdarstellungen eine [[kontextfreie Grammatik]] verwendet wird, kommt in letzterer die [[Kontextabhängigkeit]] zum Tragen. Diese Unterschiede spiegeln sich in der [[Chomsky-Hierarchie]] wieder. Im Compilerbau spricht man in solchen Fällen bereits von [[Compiler#Semantische Analyse\|semantischer Analyse]].

	== Ableitungsbäume ==		== Ableitungsbäume ==

Uncopy: /* Abstrakte Grammatik */ Vereindeutung -> Vereindeutigung (das (noch) nicht existierende Wort liest sich zwar meist flüssig, aber sobald man dort stockt, hat man Probleme beim Begreifen)

2019-08-29T13:12:45Z

Abstrakte Grammatik: Vereindeutung -> Vereindeutigung (das (noch) nicht existierende Wort liest sich zwar meist flüssig, aber sobald man dort stockt, hat man Probleme beim Begreifen)

← Nächstältere Version		Version vom 29. August 2019, 15:12 Uhr
Zeile 136:		Zeile 136:
	=== Abstrakte Grammatik ===		=== Abstrakte Grammatik ===

	Während abstrakte Syntaxbäume ''Datenstrukturen'' sind und algebraische Typen bei ihnen in die Rolle der Grammatik treten, wird in der Literatur, speziell im Zusammenhang mit Kalkülen oft nur eine vergröberte, mehrdeutige Grammatik angegeben, die, wie in obigem Beispiel gezeigt, zwar dieselbe Struktur wie die Terme haben, aber noch Schlüsselworte enthalten. Diese Form ermöglicht eine dann vor allem eine angenehme Niederschrift abstrakter Syntaxbäume, die der eigentlichen Quelle oft sehr nahe ist. Meist wird einleitend darauf hingewiesen, dass zur ~~Vereindeutung~~ Klammern gesetzt werden dürfen. Eine abstrakter Syntaxbaum für das obige Beispiel würde dann tatsächlich als <code>a * (b + 3)</code> niedergeschrieben. Im Kontext dieser Literatur liegt der Blick dabei aber stets auf dem Term. Wie erwähnt, werden die Grenzen zwischen Grammatik und Algebra durch ein Spiel mit der Form verwischt.		Während abstrakte Syntaxbäume ''Datenstrukturen'' sind und algebraische Typen bei ihnen in die Rolle der Grammatik treten, wird in der Literatur, speziell im Zusammenhang mit Kalkülen oft nur eine vergröberte, mehrdeutige Grammatik angegeben, die, wie in obigem Beispiel gezeigt, zwar dieselbe Struktur wie die Terme haben, aber noch Schlüsselworte enthalten. Diese Form ermöglicht eine dann vor allem eine angenehme Niederschrift abstrakter Syntaxbäume, die der eigentlichen Quelle oft sehr nahe ist. Meist wird einleitend darauf hingewiesen, dass zur Vereindeutigung Klammern gesetzt werden dürfen. Eine abstrakter Syntaxbaum für das obige Beispiel würde dann tatsächlich als <code>a * (b + 3)</code> niedergeschrieben. Im Kontext dieser Literatur liegt der Blick dabei aber stets auf dem Term. Wie erwähnt, werden die Grenzen zwischen Grammatik und Algebra durch ein Spiel mit der Form verwischt.

	Ein typisches Beispiel sind die Ausdrücke im [[Lambda-Kalkül]], deren abstrakte Grammatik oft nur knapp als <math>E := \lambda V . E\, \|\, E E\, \|\, V</math> niedergeschrieben wird. Dieselbe Technik wird aber auch für umfangreiche Grammatiken eingesetzt.		Ein typisches Beispiel sind die Ausdrücke im [[Lambda-Kalkül]], deren abstrakte Grammatik oft nur knapp als <math>E := \lambda V . E\, \|\, E E\, \|\, V</math> niedergeschrieben wird. Dieselbe Technik wird aber auch für umfangreiche Grammatiken eingesetzt.

← Nächstältere Version		Version vom 8. Februar 2021, 20:08 Uhr
Zeile 145:		Zeile 145:
	* {{Literatur\| Autor=[[Juraj Hromkovič]]\| Titel=Theoretische Informatik\| TitelErg=Formale Sprachen, Berechenbarkeit, Komplexitätstheorie, Algorithmik, Kommunikation und Kryptographie\| Auflage=3\| Verlag=B.G. Teubner Verlag\| Ort=Heidelberg\| Kapitel=10.4 Kontextfreie Grammatiken und Kellerautomaten\| Seiten=378\| ISBN=978-3-8351-0043-5}}		* {{Literatur\| Autor=[[Juraj Hromkovič]]\| Titel=Theoretische Informatik\| TitelErg=Formale Sprachen, Berechenbarkeit, Komplexitätstheorie, Algorithmik, Kommunikation und Kryptographie\| Auflage=3\| Verlag=B.G. Teubner Verlag\| Ort=Heidelberg\| Kapitel=10.4 Kontextfreie Grammatiken und Kellerautomaten\| Seiten=378\| ISBN=978-3-8351-0043-5}}
	* {{Literatur\| Autor=Hans Zima\| Titel=Compilerbau I\| TitelErg=Analyse\| Verlag=Bibliographisches Institut\| Ort=Mannheim/Wien/Zürich\| Kapitel=4.3 Abstrakte Bäume und ihre Attributierung\| Seiten=216-229\| ISBN=3-411-01644-2\|Datum=1982}}		* {{Literatur\| Autor=Hans Zima\| Titel=Compilerbau I\| TitelErg=Analyse\| Verlag=Bibliographisches Institut\| Ort=Mannheim/Wien/Zürich\| Kapitel=4.3 Abstrakte Bäume und ihre Attributierung\| Seiten=216-229\| ISBN=3-411-01644-2\|Datum=1982}}
	* {{Literatur\| Autor=[[Stefan Müller (Germanist)\|Stefan Müller]]\| Titel=Grammatical Theory. From transformational grammar to constraint-based approaches.\| Auflage=2\| Verlag=Language Science Press\| Ort=Berlin\| Kapitel=2\| ISBN=978-3-96110-074-3\|Datum=2018\|Online = ~~http~~://langsci-press.org/catalog/book/195}}		* {{Literatur\| Autor=[[Stefan Müller (Germanist)\|Stefan Müller]]\| Titel=Grammatical Theory. From transformational grammar to constraint-based approaches.\| Auflage=2\| Verlag=Language Science Press\| Ort=Berlin\| Kapitel=2\| ISBN=978-3-96110-074-3\|Datum=2018\|Online = https://langsci-press.org/catalog/book/195}}
	<!-- sehr alt!		<!-- sehr alt!
	* {{Literatur\| Autor=[[Hans Jürgen Heringer]]\| Titel=Deutsche Syntax\|Verlag=Walter de Gruyter\| Ort=Berlin/New York\| Kapitel=1.6 Beschreibung von Sätzen mit dem Konstitutionssystem\| Seiten=30-31\| ISBN=3-11-004015-8\|Datum=1972}}		* {{Literatur\| Autor=[[Hans Jürgen Heringer]]\| Titel=Deutsche Syntax\|Verlag=Walter de Gruyter\| Ort=Berlin/New York\| Kapitel=1.6 Beschreibung von Sätzen mit dem Konstitutionssystem\| Seiten=30-31\| ISBN=3-11-004015-8\|Datum=1972}}