Der er nogle forhold mellem syntaks og semantik, hvor hvert semantisk element er knyttet til mindst en syntaktisk gengivelse, og den anden sikrer, at hver syntaktisk repræsentation har en særprægende betydning.
Sammenligningstabel
| Grundlag for sammenligning | Syntaks | semantik |
|---|---|---|
| Grundlæggende | Tilladte sætninger af et sprog. | Fortolkning af sætningerne. |
| fejl | Håndteres på kompileringstidspunktet. | Konfronteret på kørselstidspunktet. |
| relation | Syntaktisk fortolkning skal have en vis karakteristisk betydning. | Semantisk komponent er forbundet med en syntaktisk repræsentation. |
Definition af syntaks
Syntaks af et programmeringssprog bruges til at betegne strukturen af programmer uden at overveje deres betydning. Det lægger i grunden struktur, layout af et program med deres udseende. Det indebærer en samling af regler, som validerer sekvensen af symboler og instruktion, der anvendes i et program. Den pragmatiske og beregningsmodel viser disse syntaktiske komponenter i et programmeringssprog. Værktøjerne udviklet til specifikationen af syntaksen i programmeringssprogene er regelmæssige, kontekstfrie og attribut grammars.
Men hvad er brugen af grammatik i dette aspekt? Grammerne er generelt omskrivningsreglerne, hvis formål er at genkende og generere programmerne. Grammatik er ikke afhængig af beregningsmodellen i stedet for brugt i beskrivelsen af sprogets struktur. Grammatikken indeholder et begrænset antal grammatiske kategorier (såsom navneord, ordsætning, artikel, substantiv osv.), Ensomme ord (elementer i alfabeterne) og de velformulerede regler for at angive rækkefølgen inden for hvilke komponenter i grammatiske kategorier skal vises.
Syntaksanalyse er en opgave udført af en compiler, der undersøger om programmet har et korrekt tilhørende afledtræ eller ej.
Syntaks af et programmeringssprog kan tolkes ved hjælp af følgende formelle og uformelle teknikker:
- Lexisk syntaks for at definere reglerne for grundlæggende symboler, der involverer identifikatorer, bogstaver, punktuatorer og operatører.
- Beton syntaks specificerer den egentlige repræsentation af programmerne ved hjælp af leksikalske symboler som sit alfabet.
- Abstrakt syntaks overfører kun vitale programoplysninger.
Typer af grammer
- Kontekstfri grammatik bruges som regel til at finde ud af hele sprogstrukturen.
- Regelmæssige udtryk beskriver de leksikalske enheder (tokens) af et programmeringssprog.
- Attributgrammer angiver den kontekstfølsomme del af sproget.
Definition af semantik
Semantik term på et programmeringssprog bruges til at finde ud af forholdet mellem syntaksen og beregningsmodellen. Det understreger fortolkningen af et program, så programmereren kunne forstå det på en nem måde eller forudsige resultatet af programgennemførelsen. En fremgangsmåde kendt som syntax-rettet semantik bruges til at kortlægge syntaktiske konstruktioner til beregningsmodellen ved hjælp af en funktion.
Programmeringsspråket semantik kan beskrives ved forskellige teknikker - Algebraisk semantik, Axiomatisk semantik, Operationel semantik, Denotational semantik og Oversættelsessemantik.
- Algebraisk semantik fortolker programmet ved at definere en algebra.
- Axiomatisk semantik bestemmer betydningen af et program ved at opbygge påstand om en forening, der holder fast ved hvert punkt i programmets gennemførelse (dvs. implicit).
- Operationel semantik sammenligner sprogene med den abstrakte maskine, og programmet evalueres derefter som en sekvens af tilstandsovergangene.
- Denotational semantik udtrykker meningen med programmet i form af et sæt funktioner, der opererer på programtilstanden.
- Translational semantik fokuserer på metoderne til oversættelse af et program til et andet sprog.
Nøgleforskelle mellem syntaks og semantik
- Syntaks henviser til strukturen af et program skrevet på et programmeringssprog. På den anden side beskriver semantikken forholdet mellem programmets følelse og beregningsmodellen.
- Syntaktiske fejl håndteres på kompileringstidspunktet. I modsætning hertil er semantiske fejl vanskelige at finde og møder i løbetiden.
- For eksempel er i c ++ en variabel "s" deklareret som "int s;", for at initialisere det skal vi bruge en heltalværdi. I stedet for at bruge heltal har vi initialiseret det med "Seven". Denne erklæring og initialisering er syntaktisk korrekt, men semantisk forkert, fordi "Seven" ikke repræsenterer heltalformular.
Konklusion
Syntaks i et programmeringssprog er en samling af regler for at angive kode eller struktur, mens semantik refererer til fortolkningen af koden eller den tilhørende betydning af symboler, tegn eller nogen del af et program.
