2-ma’ruza. Dasturiy ta`minot ishlab chiqish bosqichlari. Algoritm va uning xossalari

Algoritmik til sintaksisi – quyidagilarga imkon beradigan qoidalar 
to'plamidir. 
1. Dastur matnini rasmiy ravishda tekshirish (sintaktik jihatdan to'g'ri 
dasturlar to'plamini ajratib ko'rsatish); 
2. Ushbu dasturlarni tarkibiy tuzilmalariga va oxir-oqibat leksemalarga 
ajratish. 
 
Algoritmik tilning semantikasi – bu sintaktik to'g'ri dasturlar va mavhum 
ijrochining harakatlari o'rtasidagi yozishmalardir, bu bizga mavhum ijrochining 
harakatlarining qaysi ketma-ketliklari to'g'ri kelishini aniqlashga imkon beradi, 
agar bizda berilgan dastur va uning berilgan tashqi muhiti bo'lsa. 
Tashqi muhit deganda dastur bajariladigan mashinaning xarakteristikalari 
(ma'lumotlarning aniqligi, xotira hajmi, buni bajarishda foydalanish mumkin 
bo'lgan boshqa dasturlar va boshqalar) va uning bajarilishi paytida dasturga 
kiruvchi ma'lumotlar oqimlari tushuniladi. 
Algoritmik tilning pragmatikasi – bu dasturni uning aniq bajarilishi bilan 
bog'laydigan narsadir. Bunday holda, xususan, quyidagilar yuzaga keladi. 
1. Barcha ta'riflar aniq bo'lib qoladi ("aniqlanmagan", "amalga oshirish bilan 
aniqlanadi" va boshqalar kabi tushunchalar chiqarib tashlanadi) 
2. Amalga oshirilganligi sababli qo'shimcha konstruktsiyalar, tavsiflovchilar 
va boshqalar paydo bo'ladi. Ular quyidagilarni hisobga olishlari kerak: 
- kompyuter va hisoblash muhitining xususiyatlari; 
- qabul qilingan tilni amalga oshirish sxemasining xususiyatlari; 
- hisob-kitoblarning samaradorligini ta'minlash; 
- foydalanuvchilarning o'ziga xos xususiyatlariga e'tibor qaratish. 
Pragmatika ba'zan til standarti belgilaydi, ba'zida esa yo'q. Bu tilning 
maqsadi va uni amalga oshirishga bog'liq. 
Tilni tavsiflash sintaksis va semantikani aniq belgilashni talab qiladi. Amalda 
esa, tarjimon qurish uchun til qanchalik aniqroq va yaxshiroq tasvirlangan bo'lsa, 
shunchaki oddiy odam uchun bunday ta'rif shunchalik og'ir va unchalik tushunarli 
emas, shuning uchun ham aniq dasturlar barcha haqiqiy dasturlash tillari uchun 
mavjud emas. Agar ular mavjud bo'lsa ham, ular standartlar shaklida bo'lib, ular 
faqat o'ta og'ir holatlarda qo'llaniladi.