Was ist die abstrakte Syntax?
Abstract Syntax ist eine Möglichkeit für Computerprogrammierer, die Struktur des Programms zuzuordnen, das sie erstellen möchten, ohne sich um den tatsächlichen Code zu sorgen, der für die Implementierung erforderlich ist. Der Programmierer kann sich darauf konzentrieren, was das Programm tun muss, bevor der Computer die gewünschten Funktionen tatsächlich ausführen kann. Die abstrakte Syntax beschreibt die spezifischen Aufgaben des Programms, z. B. das Hinzufügen von zwei Zahlen zusammen, und zeigt an, welche Arten von Daten in diesem Programm verwendet werden können. Sobald die abstrakte Zuordnung abgeschlossen ist, wird ein abstrakter Syntaxbaum gezeichnet, der den abstrakten Konzepten mit konkreter Syntax entspricht - die tatsächlichen Symbole, die ein Programmierer eingeben muss, um das von ihr erstellte Programm auszuführen.
Die Idee für die abstrakte Syntax besteht darin, sich auf Datentypen und ihre Beziehungen zu konzentrieren, ohne sich in die Details der Codierung zu verwickeln. Computercode ist sehr unterschiedlich von der menschlichen Sprache, undEs ist schwierig, in diesen Begriffen zu versuchen, in diesen Begriffen zu denken. Stattdessen erstellen Programmierer eine Liste der Schritte, die das Programm ausfüllen muss, und dann verwenden Sie eine konkrete Syntax, um die abstrakten Begriffe mit den Computercode -Begriffen abzustimmen, die diese Schritte ausführen. Oft enthält der Programmierer Datentypen in ihr abstraktes Markup, um anzuzeigen, mit welchen Arten von Daten - sei es Zahlen, Buchstaben oder Dezimalstellen -, mit denen das Programm arbeiten kann. Zu diesem Zeitpunkt sind in dieser Phase jedoch keine spezifischen Datentypen erforderlich, und der Programmierer kann sich für die Verwendung abstrakter Datentypen entscheiden, die rein theoretisch sind und durch bestimmte Datentypen ersetzt werden, wenn das Programm geschrieben wird.
Diese Art von abstrakter Idee der Programmierung wird häufig in der Compiler -Theorie verwendet. Computer können nur zwei Werte verstehen: 1s und 0s. Dies ist als Binärcode bekannt. Damit der Computer ein in einer Programmiersprache geschriebenes Programm versteht, muss er die Wörter und Buchstaben in einen Strom von 1s und 0s kompilieren oder übersetzen. Compiler sind komplex zu CrEssen und abzubilden, um eine vage oder abstrakte Vorstellung davon zu erstellen, was er tun muss, hilft einem Programmierer, fehlerfreien Code zu planen.
Wenn der Programmierer die abstrakte Syntax der konkreten Syntax zuordnen und das Programm oder den Compiler kodiert, erstellt sie einen abstrakten Syntaxbaum. Dies ist einfach eine Liste aller abstrakten Anweisungen, die sie geschrieben hat, z. B. "2 Variablen hinzufügen", wobei eine Zeile aus jedem abstrakten Term in die spezifische Codezeile gezogen wird, die für die Ausführung dieser Anweisung erforderlich ist. Der Programmierer kann alle abstrakten Begriffe verwenden, die sie möchte, aber es ist häufiger, bekannte Codebegriffe wie "var" für Variable und "int" für Ganzzahl zu verwenden.