Tizimli dasturlash fani bo‘yicha yakuniy nazorat savollari

Semantik tahlil kompilyatorning uchinchi bosqichidir . Semantik tahlil dastur deklaratsiyasi va bayonotlarining semantik jihatdan to'g'ri ekanligiga ishonch hosil qiladi. Bu grammatika talab qilganda tahlil qiluvchi tomonidan chaqiriladigan protseduralar to'plamidir. Berilgan kodning muvofiqligini tekshirish uchun oldingi bosqichning sintaksis daraxti ham, belgilar jadvali ham qo'llaniladi. Turni tekshirish semantik tahlilning muhim qismi bo'lib, unda kompilyator har bir operator mos keladigan operandlarga ega ekanligiga ishonch hosil qiladi.
Semantik analizator:
U berilgan dasturning til taʼrifiga semantik mos kelishini tekshirish uchun sintaksis daraxti va belgilar jadvalidan foydalanadi. U turdagi ma'lumotlarni to'playdi va uni sintaksis daraxtida yoki belgilar jadvalida saqlaydi. Ushbu turdagi ma'lumotlar keyinchalik oraliq kodni yaratishda kompilyator tomonidan qo'llaniladi.
Semantik xatolar:
Semantik analizator tomonidan tan olingan xatolar quyidagilardir:

• 
  Turning mos kelmasligi
  
• 
  E'lon qilinmagan o'zgaruvchilar
  
• 
  Zaxiralangan identifikatordan noto'g'ri foydalanish
  

Semantik tahlilning vazifalari:

1. 
   Turni tekshirish -
   ma'lumotlar turlari ularning ta'rifiga mos keladigan tarzda ishlatilishini ta'minlaydi.
   
2. 
   Yorliqlarni tekshirish -
   dasturda teglar havolalari bo'lishi kerak.
   
3. 
   Oqim nazorati tekshiruvi -
   boshqaruv tuzilmalarining to'g'ri qo'llanilishini tekshiradi. (misol: tsikldan tashqarida uzilish bayonoti yo'q)
   

Misol:
float x = 10,1;
float y = x*30;
Yuqoridagi misolda 30 butun soni ko'paytirishdan oldin semantik analizator yordamida 30,0 ga suzuvchi qilib yoziladi.
Statik va dinamik semantika:

1.