Existujú určité vzťahy medzi syntaxou a sémantikou, kde je každý sémantický prvok prepojený s aspoň jedným syntaktickým zobrazením, a druhý zabezpečuje, že každé syntaktické znázornenie má výrazný význam.
Porovnávacia tabuľka
| Základ pre porovnanie | syntax | sémantika |
|---|---|---|
| základné | Povolené frázy jazyka. | Interpretácia slovných spojení. |
| chyby | Spracované v čase kompilácie. | Konfrontované pri behu. |
| vzťah | Syntaktická interpretácia musí mať určitý rozlišovací význam. | Sémantická zložka je spojená so syntaktickou reprezentáciou. |
Definícia syntaxe
Syntax programovacieho jazyka sa používa na označenie štruktúry programov bez ohľadu na ich význam. V podstate zdôrazňuje štruktúru, usporiadanie programu s ich vzhľadom. Zahŕňa súbor pravidiel, ktoré potvrdzujú postupnosť symbolov a inštrukcií používaných v programe. Pragmatický a výpočtový model predstavuje tieto syntaktické zložky programovacieho jazyka. Nástroje vyvinuté na špecifikáciu syntaxe programovacích jazykov sú pravidelné, kontextové a gramatické atribúty.
Aké je však použitie gramatiky v tomto aspekte? Gramatiky sú všeobecne pravidlá prepisovania, ktorých účelom je rozpoznať a generovať programy. Gramatika nespolieha na výpočtový model, ktorý sa namiesto toho používa v popise štruktúry jazyka. Gramatika obsahuje konečnú sadu gramatických kategórií (napr. Podstatná fráza, slovesné frázy, článok, podstatné meno atď.), Jednotlivé slová (prvky abecedy) a správne vytvorené pravidlá na určenie poradia, v ktorom sú zložky gramatických kategórií by sa mala objaviť.
Analýza syntaxe je úloha, ktorú vykonáva kompilátor, ktorý skúma, či má program správne asociovaný strom odvodení, alebo nie.
Syntax programovacieho jazyka možno interpretovať pomocou nasledujúcich formálnych a neformálnych techník:
- Lexikálna syntax pre definovanie pravidiel pre základné symboly zahŕňajúce identifikátory, literály, interpunkčné znamienka a operátory.
- Konkrétna syntax určuje skutočné zobrazenie programov pomocou lexikálnych symbolov, ako je ich abeceda.
- Abstraktná syntax vysiela iba dôležité informácie o programe.
Typy gramatikov
- Kontextová gramatika sa používa predovšetkým na zistenie celkovej jazykovej štruktúry.
- Pravidelné výrazy opisujú lexikálne jednotky (žetóny) programovacieho jazyka.
- Atribútové gramatiky špecifikujú kontextovo citlivú časť jazyka.
Definícia sémantiky
Termín sémantika v programovacom jazyku sa používa na zistenie vzťahu medzi syntaxou a modelom výpočtu. Zdôrazňuje interpretáciu programu tak, aby programátor mohol ľahko pochopiť alebo predvídať výsledok realizácie programu. Prístup známy ako syntakticky riadená sémantika sa používa na mapovanie syntaktických konštruktov do výpočtového modelu pomocou funkcie.
Sémantiku programovacieho jazyka možno opísať rôznymi technikami - algebraická sémantika, axiomatická sémantika, operatívna sémantika, denotačná sémantika a sémantika prekladu.
- Algebraická sémantika interpretuje program definovaním algebry.
- Axiomatická sémantika určuje význam programu vytvorením tvrdení o združení, ktoré sa zadržiavajú v každom bode vykonávania programu (tj implicitne).
- Operačná sémantika porovnáva jazyky s abstraktným strojom a program sa potom vyhodnocuje ako postupnosť prechodov štátu.
- Denotačná sémantika vyjadruje význam programu vo forme súboru funkcií, ktoré fungujú v stave programu.
- Prekladová sémantika sa zameriava na metódy používané na preklad programu do iného jazyka.
Kľúčové rozdiely medzi syntaxou a sémanticitou
- Syntax sa vzťahuje na štruktúru programu napísaného v programovacom jazyku. Na druhej strane, sémantika opisuje vzťah medzi zmyslom programu a výpočtovým modelom.
- Syntaktické chyby sa spracovávajú v čase kompilácie. Naopak sémantické chyby sa ťažko nachádzajú a stretávajú sa za behu.
- Napríklad v c ++ sa premenná "s" deklaruje ako "int s;", aby sme ju inicializovali, musíme použiť celočíselnú hodnotu. Namiesto použitia celého čísla sme ju inicializovali pomocou "Seven". Toto vyhlásenie a inicializácia je syntakticky správne, ale sémanticky nesprávne, pretože "Seven" nepredstavuje celé číslo.
záver
Syntax programovacieho jazyka je súbor pravidiel určujúcich štruktúru alebo formu kódu, zatiaľ čo sémantika sa vzťahuje na interpretáciu kódu alebo súvisiaci význam symbolov, znakov alebo akejkoľvek časti programu.
