SİNTAKS
Kompüter elmində kompüter dilinin sintaksisi termini həmin dildə düzgün qurulmuş fraqment və ya sənəd hesab edilən simvolların birləşməsini müəyyən edən qaydalar toplusuna aiddir. Bu, həm sənədin verilənləri, həm də sənədin mənbə kodunu təmsil etdiyi proqramlaşdırma dilləri olan işarələmə dillərinə aiddir. Dilin sintaksisi onun səth formasını müəyyən edir. Mətn əsaslı kompüter dilləri simvolların ardıcıllığına əsaslanır. Vizual proqramlaşdırma dilləri isə simvollar arasındakı əlaqəyə (qrafik və ya mətn ola bilər) və məkan quruluşuna əsaslanır. Sintaktik olaraq etibarsız olan sənədlərin sintaksis xətası olduğu deyilir.
Sintaksis – forma – semantika – məna ilə ziddiyyət təşkil edir. Kompüter dillərinin emalında semantik emal adətən sintaktik emaldan sonra gəlir. Bununla belə, bəzi hallarda semantik emal tam sintaktik təhlil üçün vacibdir və buna görə də onlar eyni vaxtda və ya birlikdə aparılır. Kompilyatorda sintaktik təhlil ön hissəni, semantik təhlil isə arxa hissəni (və fazanın fərqləndiyi hallarda orta son) təşkil edir.
SİNTAKSIN SƏVİYYƏLƏRİ
Kompüter dili sintaksisi adətən üç fərqli səviyyəyə bölünür:
Belə bir şəkildə fərqləndirmək, hər səviyyənin ayrıca və çox vaxt müstəqil şəkildə təsvir edilməsinə və işlənməsinə imkan verən modulluq yaradır. Bu, lekserin simvolların xətti ardıcıllığını işarələrin xətti ardıcıllığına çevirməsi ilə başlayır: buna leksik təhlil və ya leksinq deyilir.
İkincisi, təhlilçi işarələrin xətti ardıcıllığını iyerarxik sintaksis ağacı adlanan şeyə çevirir. Buna təhlil deyilir.
Üçüncüsü, kontekstual təhlil yoxlamaları və ad növlərini həll edir. Təhlil mərhələsinin özünü iki hissəyə bölmək olar: konkret sintaksis ağacı və ya qrammatika ilə müəyyən edilən, lakin praktiki istifadə üçün çox təfərrüatlı təhlil ağacı və bunu formada sadələşdirən abstrakt sintaksis ağacı (AST) istifadəyə yararlıdır.
SİNTAKSİYA VERSUS SEMANTICS
Dilin sintaksisi etibarlı proqramın formasını təsvir edir, lakin o, proqramın mənası və ya proqramın icrası ilə gələn nəticələrlə bağlı heç bir məlumat vermir. Simvolların birləşməsinə verilən məna semantika tərəfindən idarə olunur (istinad tətbiqində ya sərt kodlu, ya da formal). Sintaktik cəhətdən düzgün olan bütün proqramlar semantik cəhətdən düzgün deyil. Sintaktik cəhətdən düzgün proqramların çoxu dilin qaydalarına uyğun olaraq düzgün qurulmamışdır; və (dil spesifikasiyası, eləcə də icranın etibarlılığı ilə əlaqədar) icra və ya tərcümə zamanı xəta ilə nəticələnə bilər. Bəzi hallarda bu cür proqramlar qeyri-müəyyən davranış göstərə bilər. Proqramın dildə yaxşı müəyyən edildiyi vaxtlarda belə, onun müəllifi tərəfindən nəzərdə tutulmayan bir məna ola bilər.
Təbii dil nümunəsində qrammatik cəhətdən düzgün olan cümləyə məna vermək mümkün olmaya bilər. Misal üçün,
