„Syntaxdiagramm“ – Versionsunterschied
| [gesichtete Version] | [gesichtete Version] |
K Änderungen von 2003:D4:F707:5F00:48DA:3628:B510:3A3D (Diskussion) auf die letzte Version von 91.25.216.226 zurückgesetzt Markierung: Zurücksetzung |
→Bausteine: füge Einzelnachweis ein |
||
| Zeile 7: | Zeile 7: | ||
Ein minimales Syntaxdiagramm besteht aus einem der Grundbausteine: |
Ein minimales Syntaxdiagramm besteht aus einem der Grundbausteine: |
||
* einem Terminalsymbol, gekennzeichnet durch einen Kasten mit abgerundeten Ecken |
* einem Terminalsymbol, gekennzeichnet durch einen Kasten mit abgerundeten Ecken |
||
* einem Nichtterminalsymbol, gekennzeichnet durch einen eckigen Kasten. |
* einem Nichtterminalsymbol, gekennzeichnet durch einen eckigen Kasten.<ref name="compilerbau"/> |
||
Syntaxdiagramme können zu größeren Syntaxdiagrammen zusammengesetzt werden: |
Syntaxdiagramme können zu größeren Syntaxdiagrammen zusammengesetzt werden: |
||
| Zeile 47: | Zeile 47: | ||
== Einzelnachweise == |
== Einzelnachweise == |
||
<references |
<references> |
||
<ref name="compilerbau">{{Literatur |
|||
| Autor = Niklaus Wirth |
|||
| Titel = Compilerbau |
|||
| Auflage = 3., überarbeitete und erweiterte |
|||
| Verlag = B. G. Teubner |
|||
| Ort = Stuttgart |
|||
| Datum = März 1984 |
|||
| Reihe = Leitfäden der angewandten Mathematik und Mechanik (LAMM) |
|||
| BandReihe = 36 |
|||
| ISBN = 3-519-22338-4 |
|||
| Kapitel = 3. Syntax Graphen |
|||
| Seiten = 21 |
|||
| Zitat = <b>A5.</b> Ist ein Element ein nicht-terminales Symbol <b>A</b>, so wird es durch ein Rechteck eingefasst. |
|||
[… Zeichnung …] |
|||
<b>A6.</b> Ist ein Element ein Terminalsymbol s, so wird es durch einen Kreis gekennzeichnet. |
|||
[… Zeichnung …] |
|||
}}</ref> |
|||
</references> |
|||
[[Kategorie:Theoretische Informatik]] |
[[Kategorie:Theoretische Informatik]] |
||
Version vom 3. September 2024, 18:46 Uhr
Ein Syntaxdiagramm wird in der theoretischen Informatik benutzt, um die Syntax einer Regelmenge graphisch darzustellen. Insbesondere können damit formale Sprachen bis zur Klasse der kontextfreien Sprachen und damit aufgrund der Teilmengeneigenschaft auch die Syntax von Programmiersprachen in einem Syntaxdiagramm dargestellt werden.
Geschichte
Syntaxdiagramme wurden 1974 in der Definition der Programmiersprache Pascal[1] eingesetzt, vermutlich auch schon früher.
Bausteine
Ein minimales Syntaxdiagramm besteht aus einem der Grundbausteine:
- einem Terminalsymbol, gekennzeichnet durch einen Kasten mit abgerundeten Ecken
- einem Nichtterminalsymbol, gekennzeichnet durch einen eckigen Kasten.[2]
Syntaxdiagramme können zu größeren Syntaxdiagrammen zusammengesetzt werden:
- ein Syntaxdiagramm kann optional gemacht werden
- ein Syntaxdiagramm kann 0-mal oder öfter wiederholt werden
- ein Syntaxdiagramm kann 1-mal oder öfter wiederholt werden
- mehrere Syntaxdiagramme können verkettet oder hintereinandergeschaltet werden
- mehrere Syntaxdiagramme können alternativ durchlaufen werden
Aus diesen Grundbausteinen und Zusammensetzungen lassen sich Syntaxdiagramme konstruieren, die gleichmächtig zu kontextfreien Grammatiken sind.
Eigenschaften
Jedes Syntaxdiagramm hat einen Eingang und einen Ausgang, die durch Linien verbunden sind. Die Linien haben eine Richtung.
Umsetzung der EBNF in ein Syntaxdiagramm
Jede Erweiterte Backus-Naur-Form (EBNF) kann mithilfe der nebenstehenden Grafik eins zu eins in ein Syntaxdiagramm umgewandelt werden.
Beispiel
Das Bild zeigt, wie die natürlichen Zahlen im Dezimalsystem geschrieben werden.
Verwendung
In weiten Teilen der Informatik werden Grammatiken textuell beschrieben, insbesondere in Dokumenten, deren Zielgruppe mit formalen Schreibweisen von Grammatiken vertraut ist. In Dokumenten mit größeren Zielgruppen können Syntaxdiagramme verwendet werden, um die Grammatikregeln anschaulicher darzustellen.
Beispiele:
Weblinks
Einzelnachweise
- ↑ a b PASCAL User Manual and Report, Kathleen Jensen, Niklaus Wirth, 1974, Springer-Verlag, ISBN 3-540-06950-X
- ↑ Niklaus Wirth: Compilerbau (= Leitfäden der angewandten Mathematik und Mechanik (LAMM). Band 36). 3., überarbeitete und erweiterte Auflage. B. G. Teubner, Stuttgart 1984, ISBN 3-519-22338-4, 3. Syntax Graphen, S. 21: „A5. Ist ein Element ein nicht-terminales Symbol A, so wird es durch ein Rechteck eingefasst. [… Zeichnung …] A6. Ist ein Element ein Terminalsymbol s, so wird es durch einen Kreis gekennzeichnet. [… Zeichnung …]“
- ↑ https://www.ecma-international.org/publications-and-standards/standards/ecma-404/