Ш. И. Раззоќов, М. Д. Юнусова turbo pascal алгоритмик тилида дастурлаш касб-ћунар коллеж талабалари учун ўќув ќўлланма

program daraja (input, output);
var к, n, p: integer;
begin
read (n); p:=1;
for k:=1 to n do
p:=k * 2;
write (p)
end.
daraja дастурнинг натижалари, 0, 1, 2 дастлабки ќийматларда мос равишда 1, 2, 4 га тенг, яъни daraja дастурнинг натижалари билан мос келади. Бироќ, n2 да нотўѓри натижалар чиќишига ишонч ћосил ќилиш ќийин эмас. Масалан, n=3 ќийматлар p 8 га эмас, 6 га тенг бўлади.
Дастурнинг тўѓрилигини текширадиган бошќа ишончли усул шундан иборатки, масаланинг таърифи бўйича дастлабки маълумотларнинг мумкин бўлган ћар ќандай ќийматларида дастурнинг тўѓрилигини исботлашдир. Дастурнинг натижаларини аниќ ќийматлар бўйича текширишга ќараганда бу анчагина мураккаб. Ћар бир дастур тузилишининг тўѓрилигини кўрсатишга (асосан мисолларда) ћаракат ќилиб кўрамиз.
Ўзлаштириш оператори. Операторнинг ўнг ќисмига ўзгарувчининг ќийматини ћисоблайдиган арифметик ифода езилади. Агар у тўѓри езилган бўлса, ўзлаштириш оператори ћам тўѓри бўлади. У ћолда ифодага тегишли ћамма ўзгарувчиларнинг ќийматлари аниќланган еки ЭЋМ хотирасига киритилган, еки процедура бажарилишида ћисобланган, еки бундан олдинги ўзлаштириш операторларга ўзлаштирилган бўлиши кераклигига эътиборни ќаратиш зарур. Ифодаларга ўзгарувчиларнинг номаълум ќийматларини ишлатиш дастур тузишни ўрганаётган дастурчиларнинг кўп такрорлайдиган хатосидир. Барча айтилганлар шартли операторлардаги (if дан кейинги) ва цикллардаги (while дан кейинги) мантиќий ифодаларга ћам тааллуќлидир.
Шартли оператор. Мисол кўриб чиќамиз. Дастлабки маълумот бутун а сони бўлсин, b натижа а сонининг абсолют ќийматига тенг бўлиши керак. Бу масалани ечиш учун ћар хил дастурнинг тўрт парчасини кўрамиз.

1. 
   if a < 0 then b : = - a
   

а0 бўлганда b:= - а оператор бажарилади, яъни а ўзгарувчининг манфий ќийматлари учун шартли оператор тўѓри ёзилган. Агар а0 бўлса, дастур натижаси аниќланмаган. Демак, бу дастур нотўѓри тузилган.

2. 
   b : = a;