Tam jsou některé vztahy mezi syntaxí a sémantikou kde každý sémantický element je spojený s přinejmenším jeden syntaktické ztvárnění a jiný ujišťuje, že každá syntaktická reprezentace má výrazný význam.
Srovnávací graf
| Základ pro srovnání | Syntax | Sémantika |
|---|---|---|
| Základní | Povolené fráze jazyka. | Interpretace vět. |
| Chyby | Zacházeno v době kompilace. | Jsou konfrontováni za běhu. |
| Vztah | Syntaktická interpretace musí mít určitý výrazný význam. | Sémantická složka je spojena se syntaktickou reprezentací. |
Definice syntaxe
Syntaxe programovacího jazyka slouží k označení struktury programů bez ohledu na jejich význam. V podstatě klade důraz na strukturu, uspořádání programu s jejich vzhledem. Zahrnuje soubor pravidel, která ověřují sled symbolů a instrukcí používaných v programu. Pragmatický a výpočtový model tyto syntaktické složky programovacího jazyka. Nástroje vyvinuté pro specifikaci syntaxe programovacích jazyků jsou pravidelné, kontextové a atributové gramatiky.
Jaké je však použití gramatiky v tomto aspektu? Gramatiky jsou obecně přepisovací pravidla, jejichž účelem je rozpoznat a generovat programy. Gramatika se nespoléhá na výpočetní model místo toho použitý v popisu struktury jazyka. Gramatika obsahuje konečnou množinu gramatických kategorií (např. Podstatné jméno, slovesná fráze, článek, podstatné jméno, atd.), Osamocená slova (elementy abeced) a dobře formulovaná pravidla pro určení pořadí, ve kterém komponenty gramatických kategorií by se měla objevit.
Analýza syntaxe je úkol prováděný kompilátorem, který zkoumá, zda má program odpovídající přidružený derivační strom.
Syntaxi programovacího jazyka lze interpretovat pomocí následujících formálních a neformálních technik:
- Lexikální syntaxe pro definování pravidel pro základní symboly zahrnující identifikátory, literály, interpunkční znaménka a operátory.
- Konkrétní syntaxe specifikuje skutečné znázornění programů pomocí lexikálních symbolů jako je jeho abeceda.
- Abstraktní syntaxe předává pouze důležité informace o programu.
Typy gramatik
- Gramatika bez kontextů je převážně používána k určení celé jazykové struktury.
- Regulární výrazy popisují lexikální jednotky (tokeny) programovacího jazyka.
- Gramatiky atributů určují kontextovou část jazyka.
Definice sémantiky
Sémantický termín v programovacím jazyce je používán zjistit vztah mezi syntaxí a modelem výpočtu. Zdůrazňuje interpretaci programu tak, aby jej programátor mohl snadno pochopit nebo předpovědět výsledek provádění programu. Přístup známý jako sémantika řízená syntaxí se používá k mapování syntaktických konstruktů do výpočetního modelu pomocí funkce.
Sémantika programovacího jazyka může být popsána různými technikami - algebraickou sémantikou, axiomatickou sémantikou, operační sémantikou, sémantikou denotace a sémantikou překladu.
- Algebraická sémantika interpretuje program definováním algebry.
- Axiomatická sémantika určuje význam programu vytvořením tvrzení o asociaci, která je zadržována v každém bodě provádění programu (tj. Implicitně).
- Operační sémantika porovnává jazyky s abstraktním strojem a program se pak vyhodnocuje jako sled stavových přechodů.
- Denotační sémantika vyjadřuje význam programu ve formě sady funkcí, které fungují v programovém stavu.
- Translační sémantika se zaměřuje na metody používané pro překlad programu do jiného jazyka.
Klíčové rozdíly mezi syntaxí a sémantikou
- Syntaxe označuje strukturu programu napsaného v programovacím jazyce. Na druhé straně sémantika popisuje vztah mezi smyslem programu a výpočetním modelem.
- Syntaktické chyby jsou zpracovávány v době kompilace. Sémantické chyby jsou však obtížné najít a setkat se s nimi v době běhu.
- Například v c ++ je proměnná „s“ deklarována jako „int s;“, pro její inicializaci musíme použít celočíselnou hodnotu. Namísto použití celého čísla jsme jej inicializovali pomocí „Seven“. Tato deklarace a inicializace je syntakticky korektní, ale sémanticky nesprávná, protože „Sedm“ nepředstavuje celočíselnou formu.
Závěr
Syntaxe programovacího jazyka je soubor pravidel pro specifikaci struktury nebo formy kódu, zatímco sémantika odkazuje na interpretaci kódu nebo s ním spojeného významu symbolů, znaků nebo jakékoliv části programu.
