Zum Inhalt springen

„Syntaxdiagramm“ – Versionsunterschied

aus Wikipedia, der freien Enzyklopädie
[gesichtete Version][gesichtete Version]
Inhalt gelöscht Inhalt hinzugefügt
Artikel etwas erweitert
K form
Zeile 38: Zeile 38:
== Weblinks ==
== Weblinks ==
* [https://www.hsg-kl.de/faecher/inf/material/sprachen/syngra/index.php Regeln zur Umsetzung von Grammatikregeln in Syntaxdiagramme]
* [https://www.hsg-kl.de/faecher/inf/material/sprachen/syngra/index.php Regeln zur Umsetzung von Grammatikregeln in Syntaxdiagramme]

== Einzelnachweise ==
<references />


[[Kategorie:Theoretische Informatik]]
[[Kategorie:Theoretische Informatik]]

Version vom 5. März 2023, 19:25 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.

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

Übersetzung einer EBNF in ein Syntaxdiagramm

Jede Erweiterte Backus-Naur-Form (EBNF) kann mithilfe der nebenstehenden Grafik eins zu eins in ein Syntaxdiagramm umgewandelt werden.

Beispiel

Natürliche Zahlen als Syntaxdiagramm (führende Nullen möglich)

Das Bild zeigt die Umsetzung der Definition der natürlichen Zahlen aus der EBNF in ein Syntaxdiagramm.

Einzelnachweise

  1. PASCAL User Manual and Report, Kathleen Jensen, Niklaus Wirth, 1974, Springer-Verlag, ISBN 3-540-06950-X