SYNTAX
Informatikada kompyuter tilining sintaksisi atamasi ushbu tilda to'g'ri tuzilgan parcha yoki hujjat deb hisoblangan belgilar birikmasini belgilovchi qoidalar to'plamini bildiradi. Bu hujjat ma'lumotlarni va dasturlash tillarini ifodalovchi, hujjat manba kodini ifodalovchi belgilash tillariga ham tegishli. Tilning sintaksisi uning sirt shaklini belgilaydi. Matnga asoslangan kompyuter tillari belgilar ketma-ketligiga asoslanadi. Boshqa tomondan, vizual dasturlash tillari belgilar (ular grafik yoki matn bo'lishi mumkin) va fazoviy joylashuvga asoslangan. Sintaktik jihatdan noto'g'ri bo'lgan hujjatlar sintaksis xatosi deb ataladi.
Sintaksis - shakl - semantika - ma'noga qarama-qarshidir. Kompyuter tillarini qayta ishlashda semantik ishlov berish odatda sintaktik ishlovdan keyin amalga oshiriladi. Biroq, ba'zi hollarda to'liq sintaktik tahlil qilish uchun semantik ishlov berish muhim ahamiyatga ega va shuning uchun ular bir vaqtning o'zida yoki birgalikda amalga oshiriladi. Kompilyatorda sintaktik tahlil old qismni, semantik tahlil esa orqa tomonni (va faza ajratilgan hollarda o'rta tomonni) o'z ichiga oladi.
SINTAKS DARAJALARI
Kompyuter tili sintaksisi odatda uch xil darajaga bo'linadi:
Shu tarzda ajratish modullikni keltirib chiqaradi, bu har bir darajani alohida va ko'pincha mustaqil ravishda tavsiflash, shuningdek qayta ishlash imkonini beradi. Bu lekserning belgilarning chiziqli ketma-ketligini tokenlarning chiziqli ketma-ketligiga aylantirishi bilan boshlanadi: bu leksik tahlil yoki leksing deb ataladi.
Ikkinchidan, tahlilchi tokenlarning chiziqli ketma-ketligini ierarxik sintaksis daraxti deb ataladigan narsaga aylantiradi. Bu tahlil qilish deb ataladi.
Uchinchidan, kontekstli tahlil tekshiruvlar va nomlar turlarini hal qiladi. Tahlil bosqichining o'zini ikki qismga bo'lish mumkin: aniq sintaksis daraxti yoki grammatika bilan belgilanadigan, lekin amaliy foydalanish uchun juda batafsil bo'lgan tahlil daraxti va uni shaklga soddalashtiradigan mavhum sintaksis daraxti (AST) bu foydalanish mumkin.
SINTAKS SEMANTIKAGA QARSHI
Tilning sintaksisi to'g'ri dastur shaklini tavsiflaydi, lekin u dasturning ma'nosi yoki ushbu dasturni bajarish bilan birga keladigan natijalar haqida hech qanday ma'lumot bermaydi. Belgilar kombinatsiyasiga beriladigan ma'no semantika bilan ishlaydi (qattiq kodlangan yoki mos yozuvlar ilovasida rasmiy). Sintaktik jihatdan to'g'ri bo'lgan barcha dasturlar semantik jihatdan to'g'ri emas. Sintaktik jihatdan to'g'ri bo'lgan dasturlarning katta qismi til qoidalariga ko'ra noto'g'ri tuzilgan; va (til spetsifikatsiyasi, shuningdek, amalga oshirishning asosliligi nuqtai nazaridan) ijro yoki tarjimada xatolikka olib kelishi mumkin. Ba'zi hollarda bunday dasturlar aniqlanmagan xatti-harakatlarni ko'rsatishi mumkin. Dastur tilda yaxshi aniqlangan bo'lsa ham, u yozuvchi tomonidan mo'ljallanmagan ma'noga ega bo'lishi mumkin.
Tabiiy til misolida grammatik jihatdan to‘g‘ri bo‘lgan gapga ma’no berishning iloji bo‘lmasligi mumkin. Masalan,
