Shofirkon maishiy xizmat kasb hunar kolleji «dasturlash asoslari»

if a < 0
then b : = - a
a<0 bo`lganda b:= - a operator bajariladi, ya`ni hosil qilingan natija to`g`ri bo`ladi, a³0 da b=a, chunki shartli operator bajarilmaydi. Bu natija ham to`g`ri. Demak, ikkinchi holda dastur to`g`ri tuzilgan.

3. 
   if a > 0
   

then b : = a
else
if a < 0
then b : = - a
a>0 bo`lganda b ning qiymati a ga a<0 da esa –a ga teng. Ikkala natija ham to`g`ri, lekin a=0 hol ko`rib chiqilmadi. a=0 da b aniqlangan bo`ladi, chunki shartli operatorning hech qaysi tarmogi bajarilmaydi. Demak, dastur noto`g`ri tuzilgan.

4. 
   if a > 0
   

then b : = a
else b : = - a
a>0 bo`lganda b:= - a operator bajariladi. Qolgan hamma hollarda b:=-a. olingan natijalar to`g`ri. Barcha mumkin bo`lgan dastlabki ma`lumotlarning qiymatlarida to`g`ri natijalar hosil bo`laetgani uchun dasturning to`g`riligi haqida xulosa chiqarish mumkin.
Sarlavhasida while bo`lgan tsikl. TSiklni tekshirishda birinchi aniqlanadigan narsa shuki, har qanday mumkin bo`lgan boshlang`ich qiymatlarda bu tsikl yakunlovchi bo`ladimi?
Masalan,
while a > 0 do
write (¢A¢)
tsikl a>0 da cheksiz bajariladi, chunki bu o`zgaruvchining qiymati tsiklning har bir takrorlanishida o`zgarmaydi.
TSikl ishining tugallanishini ta`minlovchi zaruriy (ammo etarli bo`lmagan) shartni ko`rsatamiz. Zaruriy shart - bu tsikl sarlavhasidagi shartga kiruvchi biror o`zgaruvchining qiymati tsikl bajarilganda albatta o`zgarishi kerakligidir. Misol ko`ramiz;
while a > 0 do
a : = a + 1
TSikl ichida uning o`zgaruvchisining qiymati o`zgarib borishi ko`rinib turibdi, ammo bu tsikl tamom bo`lmaydi, chunki a ning qiymati doimo oshib boradi.
Boshqa misol keltiramiz: