Hva er den abstrakte syntaks?

Abstrakt syntaks er en måte for dataprogrammerere å kartlegge strukturen i programmet de vil lage uten å bekymre deg for den faktiske koden som er nødvendig for å implementere den. Den lar programmereren fokusere på hva programmet trenger å gjøre før han fokuserer på hvordan du får datamaskinen til å faktisk utføre de ønskede funksjonene. Den abstrakte syntaks skisserer programmets spesifikke oppgaver, for eksempel å legge til to tall sammen, og viser hvilke typer data som kan brukes i det programmet. Når den abstrakte kartleggingen er fullført, tegnes et abstrakt syntaks-tre som matcher de abstrakte konseptene med konkret syntaks - de faktiske symbolene en programmerer trenger å skrive ut for å kjøre programmet hun lager.

Ideen med abstrakt syntaks er å fokusere på datatyper og deres forhold uten å bli fanget opp i detaljene om hvordan du kode dem. Datakode er mye annerledes enn menneskers språk, og det er vanskelig å prøve å tenke på disse begrepene. I stedet lager programmerere en liste over trinnene programmet trenger for å fullføre, og bruker deretter konkret syntaks for å matche de abstrakte begrepene med datakodebetingelsene som utfører disse trinnene. Ofte vil programmereren inkludere datatyper i sin abstrakte markering for å vise hvilke datatyper - det være seg tall, bokstaver eller desimaler - programmet kan jobbe med. Spesifikke datatyper er ikke påkrevd på dette stadiet i programmering, men programmereren kan velge å bruke abstrakte datatyper, som er rent teoretiske og vil bli erstattet med spesifikke datatyper når programmet skrives.

Denne typen abstrakte ide om programmering brukes ofte i kompilatorteori. Datamaskiner kan bare forstå to verdier: 1s og 0s. Dette er kjent som binær kode. For at datamaskinen skal forstå et program skrevet på et programmeringsspråk, må den sammenstille eller oversette ord og bokstaver til en strøm av 1s og 0s. Kompilatorer er kompliserte å lage og kartlegge en vag eller abstrakt idé om hva de trenger å gjøre hjelper en programmerer med å planlegge feilfri kode.

Når programmereren ønsker å kartlegge den abstrakte syntaks til konkret syntaks og begynne å kode programmet eller kompilatoren, lager hun et abstrakt syntaks-tre. Dette er ganske enkelt en liste over alle de abstrakte instruksjonene hun har skrevet, for eksempel "legg til to variabler", med en linje tegnet fra hvert abstrakte begrep til den spesifikke kodelinjen som er nødvendig for å utføre denne instruksjonen. Programmereren kan bruke alle abstrakte begrep hun vil ha, men det er mer vanlig å bruke kjente kodetegn som "var" for variabel og "int" for heltall.