Bajardi : Mustafayev b tekshirdi Ablaqulov. K

Ba’zi dasturlash tillarida har bir konstanta yoki o’zgaruvchilarning turini unga ta’minlangan qiymatning yozilishiga qarab kompilyator aniqlaydi. Masalan, o’nlik sonda qo’llaniladigan nuqta, haqiqiy son belgisi sifatida qabul qilinadi. Boshqa dasturlash tillarida esa, dasturchi tomonidan kirtilayotgan har bir o’zgaruvchining turi aniq ko’rsatilishi talab etiladi, va bu muhim vazifalardan biri hisoblanadi. Dastur bajarilishi davomida o’zgaruvchining qiymati bir necha marta almashishi mumkin, lekin uning turi o’zgarmasligi kerak. Bu kompilyator o’zgaruvchi ustida bajariladigan amallarni uning tavsiflanishiga mos ravishda tekshirib chiqadi. Bu tekshirish to’liq dastur matni bo’yicha amalga oshiriladi va natijada dastur bajaradigan barcha amallar aniqlab olinadi.

• Ba’zi dasturlash tillarida har bir konstanta yoki o’zgaruvchilarning turini unga ta’minlangan qiymatning yozilishiga qarab kompilyator aniqlaydi. Masalan, o’nlik sonda qo’llaniladigan nuqta, haqiqiy son belgisi sifatida qabul qilinadi. Boshqa dasturlash tillarida esa, dasturchi tomonidan kirtilayotgan har bir o’zgaruvchining turi aniq ko’rsatilishi talab etiladi, va bu muhim vazifalardan biri hisoblanadi. Dastur bajarilishi davomida o’zgaruvchining qiymati bir necha marta almashishi mumkin, lekin uning turi o’zgarmasligi kerak. Bu kompilyator o’zgaruvchi ustida bajariladigan amallarni uning tavsiflanishiga mos ravishda tekshirib chiqadi. Bu tekshirish to’liq dastur matni bo’yicha amalga oshiriladi va natijada dastur bajaradigan barcha amallar aniqlab olinadi.

Ma’lumotlarning abstrakt (mavhum) turlari – bu matematik model va shu model doirasida aniqlangan turli xil operatorlardir. Abstrakt ma’lumotlar turi bilan algoritmlarni ishlab chiqish mumkin, lekin ma’lum bir dasturlash tilida algoritmlarni qo’llash uchun ma’lumotlarning abstrakt turlarini ushbu dasturlash tiliga mos ma’lumotlar turi va operatorlar yordamida ishlab chiqiladi.

• Ma’lumotlarning abstrakt (mavhum) turlari – bu matematik model va shu model doirasida aniqlangan turli xil operatorlardir. Abstrakt ma’lumotlar turi bilan algoritmlarni ishlab chiqish mumkin, lekin ma’lum bir dasturlash tilida algoritmlarni qo’llash uchun ma’lumotlarning abstrakt turlarini ushbu dasturlash tiliga mos ma’lumotlar turi va operatorlar yordamida ishlab chiqiladi.
• Ma’lumotlarning abstrakt turlarini tavsiflash uchun o’zida o’zgaruvchilarning aniq to’plamini, mumkin bo’lgan ma’lumotlar turini mujassamlashtirgan ma’lumotlar tuzilmasidan foydalaniladi.