Vad är den abstrakta syntaxen?

Abstrakt syntax är ett sätt för dataprogrammerare att kartlägga strukturen i programmet de vill skapa utan att oroa sig för den faktiska koden som behövs för att implementera det. Det gör att programmeraren kan fokusera på vad programmet behöver göra innan man fokuserar på hur man får datorn att faktiskt utföra de önskade funktionerna. Den abstrakta syntaxen beskriver programmets specifika uppgifter, till exempel att lägga till två siffror tillsammans, och visar vilka typer av data som kan användas inom det programmet. När den abstrakta kartläggningen är klar, ritas ett abstrakt syntaxträd som matchar de abstrakta koncepten med konkret syntax - de faktiska symbolerna som en programmerare behöver skriva ut för att köra programmet hon skapar.

Idén med abstrakt syntax är att fokusera på datatyper och deras relationer utan att fastna i detaljerna om hur man kodar dem. Datorkod är mycket annorlunda än mänskligt språk, och att försöka tänka i dessa termer är svårt. Istället skapar programmerare en lista över stegen som programmet behöver genomföra och använder sedan konkret syntax för att matcha de abstrakta termerna med de datorkodtermer som utför dessa steg. Ofta kommer programmeraren att inkludera datatyper i sin abstrakta markering för att visa vilka typer av data - antingen siffror, bokstäver eller decimaler - som programmet kan arbeta med. Specifika datatyper krävs emellertid inte i detta skede i programmeringen, men programmeraren kan välja att använda abstrakta datatyper, som är rent teoretiska och kommer att ersättas med specifika datatyper när programmet skrivs.

Denna typ av abstrakt idé om programmering används ofta i kompilatorteorin. Datorer kan bara förstå två värden: 1s och 0s. Detta kallas binär kod. För att datorn ska förstå ett program skrivet på ett programmeringsspråk måste den sammanställa eller översätta ord och bokstäver till en ström av 1s och 0s. Kompilatorer är komplexa för att skapa och kartlägga en vag eller abstrakt idé om vad de behöver göra hjälper en programmerare att planera felfri kod.

När programmeraren vill kartlägga den abstrakta syntaxen till konkret syntax och börja koda programmet eller kompilatorn, skapar hon ett abstrakt syntaxträd. Detta är helt enkelt en lista över alla abstrakta instruktioner som hon har skrivit, till exempel "lägg till två variabler", med en rad som dras från varje abstrakt term till den specifika kodraden som behövs för att utföra denna instruktion. Programmeraren kan använda alla abstrakta termer hon vill, men det är vanligare att använda välkända kodtermer som "var" för variabel och "int" för heltal.