21. Dasturlash tillari, sintaksis, semantika, tasniflash ilovalar sinflari bo'yicha tillar. Dasturlash tili

21. Dasturlash tillari, sintaksis, semantika, tasniflash ilovalar sinflari bo'yicha tillar.

Dasturlash tili  - kompyuter dasturlarini yozib olish uchun mo'ljallangan rasmiy imzo tizimi. Dasturlash tili dasturning ko'rinishini va ijrochi (kompyuter) uning nazorati ostida bajaradigan harakatlarni belgilaydigan leksik, sintaktik va semantik qoidalar to'plamini belgilaydi.

• 
  Vazifasi:  Dasturlash tili muayyan hisoblash jarayonini bajarish va individual qurilmalarni boshqarishni tashkil qilish bo'yicha ko'rsatmalarni kompyuterga etkazish uchun ishlatiladigan kompyuter dasturlarini yozish uchun mo'ljallangan.
  
• 
  Muammo:  dasturlash tili tabiiy tillardan farq qiladi, chunki u buyruqlar va ma'lumotlarni odamdan kompyuterga uzatish uchun mo'ljallangan, tabiiy tillar esa odamlar o'rtasida muloqot qilish uchun ishlatiladi. Siz "dasturlash tillari" ta'rifini umumlashtirishingiz mumkin - bu buyruqlar, buyruqlar, harakatlar uchun aniq qo'llanma berish usuli; holbuki inson tillari ham ma'lumot almashish uchun xizmat qiladi.
  
• 
  Bajarilishi:  dasturlash tili ma'lumotlar tuzilmalarini aniqlash va boshqarish va hisoblash jarayonini boshqarish uchun maxsus konstruktsiyalardan foydalanishi mumkin.
  

Dasturlash tillarini standartlashtirish

Dasturlash tili uning sintaksisi va semantikasini belgilaydigan spetsifikatsiyalar to'plami sifatida ifodalanishi mumkin.

Keng tarqalgan dasturlash tillari uchun xalqaro standartlar yaratilgan. Maxsus tashkilotlar tegishli tilning texnik tavsiflari va rasmiy ta'riflarini doimiy ravishda yangilab turishadi. Bunday qo'mitalar doirasida dasturlash tillarini rivojlantirish va modernizatsiya qilish ishlari davom etmoqda va mavjud va yangi til tuzilmalarini kengaytirish yoki qo'llab-quvvatlash masalalari ko'rib chiqilmoqda.

Ma'lumot turlari

Zamonaviy raqamli kompyuterlar odatda ikkilikdir va ma'lumotlarni ikkilik (ikkilik) kodda saqlaydi (garchi boshqa raqamli tizimlarda ham amalga oshirish mumkin bo'lsa). Ushbu ma'lumotlar, odatda, yuqori darajadagi tushunchalarni aks ettiradigan haqiqiy dunyodagi ma'lumotlarni (nomlar, bank hisoblari, o'lchovlar va boshqalar) aks ettiradi.

Dasturda ma'lumotlar tashkil etiladigan maxsus tizim turi tizimi  dasturlash tili; tip tizimlarini rivojlantirish va o'rganish tip nazariyasi sifatida tanilgan. Tillar tizim sifatida tasniflanishi mumkin. statik yozish bilan  va tillar dinamik yozish.

Statik tiplangan tillarni keyinchalik tillarga ajratish mumkin majburiy deklaratsiya, bu erda har bir o'zgaruvchi va funktsiya deklaratsiyasi majburiy turdagi deklaratsiyaga ega, va tillar taxmin qilingan turlari. Ba'zan dinamik yozilgan tillar deyiladi yashirin yozilgan.

Ma'lumotlar tarkibi

Yuqori darajadagi tillardagi tizim tizimlari sizga ma'lumotlarning tuzilishi deb ataladigan murakkab, aralash turlarni aniqlash imkonini beradi. Qoida tariqasida, tarkibiy ma'lumotlar turlari asosiy (atom) turlarning va ilgari aniqlangan kompozitsion tiplarning Cartesian mahsuloti sifatida shakllanadi.

Asosiy ma'lumotlar tuzilmalari (ro'yxatlar, navbat, xesh jadvallar, ikkilik daraxtlar va juftliklar) ko'pincha yuqori darajadagi tillarda maxsus sintaktik konstruktsiyalar bilan ifodalanadi. Bunday ma'lumotlar avtomatik ravishda tuzilgan.

Dasturlash tillarining semantikasi

Dasturlash tillarining semantikasini aniqlashga bir nechta yondashuvlar mavjud.

Ularning eng keng tarqalgani quyidagi uch turga bo'linadi: operatsion, lotin (aksiomatik) va denotatsion (matematik).

• 
  Ichidagi semantikani tavsiflashda operatsion  yondashuv, odatda dasturiy til konstruktsiyalarining bajarilishi ba'zi xayoliy (mavhum) kompyuter yordamida talqin qilinadi.
  

•