Yra keletas sintaksės ir semantikos ryšių, kur kiekvienas semantinis elementas yra susietas su bent vienu sintaksės perdavimu, o kitas užtikrina, kad kiekvienas sintaksinis reprezentavimas turi savitą reikšmę.
Palyginimo diagrama
| Palyginimo pagrindas | Sintaksė | Semantika |
|---|---|---|
| Pagrindinis | Leidžiamos kalbos frazės. | Frazių aiškinimas. |
| Klaidos | Apdorojama kompiliavimo metu. | Susidūrę runtime. |
| Santykis | Sintaktinis aiškinimas turi turėti tam tikrą savitą reikšmę. | Semantinis komponentas siejamas su sintaksiniu vaizdavimu. |
Sintaksės apibrėžimas
Programavimo kalbos sintaksė naudojama programų struktūrai apibūdinti neatsižvelgiant į jų reikšmę. Tai iš esmės pabrėžia programos struktūrą, išdėstymą su jų išvaizda. Tai apima taisyklių rinkinį, patvirtinantį programoje naudojamų simbolių ir instrukcijų seką. Pragmatinis ir skaičiavimo modelis rodo šiuos programavimo kalbos sintaksinius komponentus. Programavimo kalbų sintaksės nustatymui sukurti įrankiai yra reguliarūs, be konteksto ir atributų gramatikos.
Tačiau koks yra gramatikos taikymas šiuo aspektu? Grammarai paprastai yra perrašymo taisyklės, kurių tikslas yra atpažinti ir generuoti programas. Gramatika nėra pagrįsta skaičiavimo modeliu, vartojamu kalbos struktūros aprašyme. Gramatika apima ribotą gramatinių kategorijų rinkinį (pvz., Daiktavardis, veiksmažodis, straipsnis, daiktavardis ir kt.), Vienišus žodžius (abėcėlės elementus) ir gerai suformuotas taisykles, kurios nurodo, kokia tvarka gramatinių kategorijų komponentai turėtų pasirodyti.
Sintaksės analizė yra kompiliatoriaus atliekama užduotis, nagrinėjanti, ar programa turi tinkamą derinimo medį, ar ne.
Programavimo kalbos sintaksė gali būti interpretuojama naudojant šiuos formalius ir neformalius metodus:
- Leksinė sintaksė, skirta apibrėžti pagrindinius simbolius, apimančius identifikatorius, literatūrą, skyrybos ženklus ir operatorius.
- Betono sintaksė nurodo tikrąjį programų vaizdavimą, naudojant leksinius simbolius, tokius kaip jo abėcėlė.
- Anotacija sintaksė perduoda tik gyvybiškai svarbią informaciją.
Gramatikos tipai
- Kontekstinė gramatika dažniausiai naudojama norint išsiaiškinti visą kalbos struktūrą.
- Reguliarios išraiškos apibūdina programavimo kalbos leksinius vienetus (žetonus).
- Atributų gramatikos nurodo kontekstui jautrią kalbos dalį.
Semantikos apibrėžimas
Semantikos terminas programavimo kalba naudojamas sintaksės ir skaičiavimo modelio ryšiui išsiaiškinti. Jame pabrėžiamas programos aiškinimas, kad programuotojas galėtų jį lengvai suprasti arba numatyti programos vykdymo rezultatus. Sintaksės kryptimis vadinamas metodas naudojamas sintaksinėms konstrukcijoms suskirstyti į skaičiavimo modelį, naudojant funkciją.
Programavimo kalbos semantiką galima apibūdinti įvairiais būdais: algebrinė semantika, aksiominė semantika, operacinė semantika, denotacinė semantika ir vertimo semantika.
- Algebrinė semantika interpretuoja programą apibrėždama algebrą.
- Aksiominė semantika apibrėžia programos reikšmę, kurdama tvirtinimus apie asociaciją, kuri sulaiko kiekvieną programos vykdymo tašką (ty netiesiogiai).
- Operacinė semantika lygina kalbas su abstrakčia mašina, o programa vertinama kaip būsenos perėjimų seka.
- Denotacinė semantika išreiškia programos reikšmę funkcijų, veikiančių programos būsenoje, pavidalu.
- Vertimo semantika orientuota į metodus, naudojamus programai versti į kitą kalbą.
Pagrindiniai skirtumai tarp sintaksės ir semantikos
- Sintaksė - tai programavimo kalba parašytos programos struktūra. Kita vertus, semantika apibūdina ryšį tarp programos prasmės ir skaičiavimo modelio.
- Sintaktinės klaidos tvarkomos kompiliavimo metu. Priešingai, semantinių klaidų sunku rasti ir susidurti runtime.
- Pvz., C + + kintamasis „s“ yra deklaruojamas kaip „int s“, kad jį inicijuotumėte, turime naudoti sveikasis skaičius. Vietoj sveiko skaičiaus mes inicijavome jį „Septyni“. Ši deklaracija ir inicijavimas yra sintaksiškai teisingi, tačiau semantiškai neteisingi, nes „Septyni“ nėra sveikasis skaičius.
Išvada
Programavimo kalbos sintaksė yra taisyklių rinkinys, nurodantis kodo struktūrą ar formą, o semantika - kodo ar susijusio simbolių, simbolių ar bet kurios programos dalies aiškinimas.
