Det er noen sammenhenger mellom syntaks og semantikk hvor hvert semantisk element er knyttet til minst en syntaktisk overføring, og den andre sikrer at hver syntaktisk representasjon har en særegen betydning.
Sammenligningstabel
| Grunnlag for sammenligning | syntax | semantikk |
|---|---|---|
| grunn~~POS=TRUNC | Tillatte setninger av et språk. | Tolkning av setningene. |
| feil | Håndteres på kompileringstidspunktet. | Konfrontert ved kjøretid. |
| relasjon | Syntaktisk tolkning må ha noen karakteristisk betydning. | Semantisk komponent er knyttet til en syntaktisk representasjon. |
Definisjon av syntaks
Syntaxen til et programmeringsspråk brukes til å betegne strukturen av programmer uten å vurdere deres betydning. Det legger i utgangspunktet vekt på strukturen, utformingen av et program med utseende. Det innebærer en samling regler som bekrefter sekvensen av symboler og instruksjoner som brukes i et program. Den pragmatiske og beregningsmodellen viser disse syntaktiske komponentene i et programmeringsspråk. Verktøyene utviklet for spesifikasjonen av syntaksen i programmeringsspråket er vanlige, kontekstfrie og attributt grammatikker.
Men hva er bruken av grammatikk i dette aspektet? Grammars er generelt omskrivningsregler som har til hensikt å gjenkjenne og generere programmene. Grammatikk stole ikke på beregningsmodellen i stedet for i beskrivelsen av språkstrukturen. Grammatikken inneholder et begrenset sett av grammatiske kategorier (for eksempel substantivfras, verbseksempel, artikkel, substantiv osv.), Ensomme ord (elementene i alfabeter) og de velformulerte reglene for å spesifisere rekkefølgen innenfor hvilke komponenter i grammatiske kategorier skal vises.
Syntaksanalyse er en oppgave utført av en kompilator som undersøker om programmet har et riktig tilhørende avledetre eller ikke.
Syntaxen til et programmeringsspråk kan tolkes ved hjelp av følgende formelle og uformelle teknikker:
- Lexisk syntaks for å definere reglene for grunnleggende symboler som omfatter identifikatorer, bokstaver, punktuatorer og operatører.
- Betong syntaks angir den virkelige representasjonen av programmene ved hjelp av leksikalske symboler som alfabetet.
- Abstrakt syntaks gir kun den viktige programinformasjonen.
Typer grammer
- Kontekstfri grammatikk brukes vanligvis til å finne ut hele språkstrukturen.
- Regelmessige uttrykk beskriver de leksikalske enhetene (tokens) av et programmeringsspråk.
- Attributt grammer angir den kontekstfølsomme delen av språket.
Definisjon av semantikk
Semantikkbegrepet i et programmeringsspråk brukes til å finne ut forholdet mellom syntaks og beregningsmodellen. Den understreker tolkningen av et program slik at programmereren kan forstå det på en enkel måte eller forutsi utfallet av programgjennomføring. En tilnærming kjent som syntaksstyrt semantikk brukes til å kartlegge syntaktiske konstruksjoner til beregningsmodellen ved hjelp av en funksjon.
Programmeringsspråket semantikk kan beskrives ved hjelp av ulike teknikker - Algebraisk semantikk, Aksiomatisk semantikk, Operativ semantikk, Denotasjons semantikk og Oversettelsessemantikk.
- Algebraisk semantikk tolker programmet ved å definere en algebra.
- Aksiomatisk semantikk bestemmer betydningen av et program ved å bygge påstander om en forening som holder fast ved hvert punkt i programmets gjennomføring (dvs. implisitt).
- Operativ semantikk sammenligner språkene med den abstrakte maskinen, og programmet evalueres deretter som en sekvens av tilstandsovergangene.
- Denotational semantikk uttrykker meningen med programmet i form av et sett med funksjoner som opererer på programtilstanden.
- Translational semantikk fokuserer på metodene som brukes til å oversette et program til et annet språk.
Viktige forskjeller mellom syntaks og semantikk
- Syntaks henviser til strukturen til et program skrevet på et programmeringsspråk. På den annen side beskriver semantikk forholdet mellom programfølelsen og beregningsmodellen.
- Syntaktiske feil håndteres på kompileringstidspunktet. Imidlertid er semantiske feil vanskelige å finne og møtes i løpet av tiden.
- For eksempel er i c ++ en variabel "s" deklarert som "int s;", for å initialisere den må vi bruke et heltall. I stedet for å bruke heltall har vi initialisert det med "Seven". Denne erklæringen og initialiseringen er syntaktisk korrekt, men semantisk feil fordi "Seven" ikke representerer heltallform.
Konklusjon
Syntaksen til et programmeringsspråk er en samling av regler for å spesifisere strukturen eller formen av kode mens semantikk refererer til tolkningen av koden eller tilhørende betydning av symbolene, tegnene eller deler av et program.
