Topshirdi: Qabul qildi

Dasturlashda algoritmlashning asosan 4 turi mavjud:

Saralash
Qidirish
Grafiklar
Stringlar


Algoritmni to’g’riligini tekshirish
Dastur to’g’riligini isbotlashning eng keng tarqalgan turi – bu uni testlardan o’tkazishdir.

Algoritmni tekshirishda nazoratchi boshlang’ich ma’lumotlarni majmui algoritmik test deb nomlanadi.

To’g’ri deb shunday algoritmga aytiladiki, u masalaning qo’yilishida talab qilinadigan natijani har qanday ruxsat etilgan boshlang’ich ma’lumotlar bilan ham shakllantirib biladi. Odatda, dastur bergan natijalar ma’lum bo’lgan yoki qo’lda hisoblangan ma’lumotlar bilan taqqoslanadi, va ular to’g’riligi aniqlansa dastur to’g’ri ishlaydi degan hulosaga kelish mumkin. Ammo bu usul bilan foydalanuvchini hamma shubhalardan xalos qilib bo’lmaydi, ya’ni dastur ishlamaydigan hamma holatlarni hisobga olib bo’lmaydi.

Gudman va Xidetniyemi [2] lar tomonidan algoritm to’g’riligini isbotlash uchun quyidagi uslubiyat taklif qilingan.

Algoritm 0 dan m gacha bo’lgan qadamlar ketma-ketligi ko’rinishida tavsiflangan deb tahmin qilaylik. Har bir qadam uchun qandaydir asoslanishni taklif etamiz. Xususan, qadamdan oldin va keyin ishlaydigan shartlar haqida lemma kerak bo’lishi mumkin. Shu bilan birgalikda, algoritm chekliligining isbotini ham taklif etamiz, va hamma ruxsat etilgan kiritish ma’lumotlarini tekshirib, hamma mumkin bo’lgan chiqarish ma’lumotlarni olamiz. Algoritmni to’g’riligi bilan samaradorligi o’rtasida hech qanday aloqa yo’qligini ta’kidlab o’tamiz. Aslida hamma talablarga bir xil yahshi javob beradigan algoritm kamdan-kam ishlab chiqiladi.

Strukturaviy dasturlashning asosiy tamoyillari

1. Manba kodi modulli tuzilishga ega. Bu shuni anglatadiki, dastur aslida kichikroq birliklarga - funktsiyalar va protseduralarga bo'linadi. Ushbu tartiblarni ishlab chiqishning istalgan joyidan chaqirish mumkin. Protseduralar - bu nomga ega bo'lgan va algoritm tomonidan belgilangan muayyan harakatlarni bajaradigan tanlangan kod bo'limlari. Ushbu funktsiyalarga qo'shimcha ravishda funktsiyalar ba'zi o'zgaruvchilarni hisoblashni amalga oshiradi, shuningdek, dasturning asosiy qismida ishlatilishi mumkin bo'lgan qaytarish qiymatiga ega. Bundan tashqari, ba'zi tillar rekursiyani qo'llab-quvvatlaydi - "o'zidan" qo'ng'iroq qilish. Muammoni hal qilish uchun bu samarali bo'lishi mumkin, lekin ko'pincha loopga olib keladi.

2. Yuqoridan pastga yoki pastdan yuqoriga. Strukturaviy dasturlash bir nechta yo'nalishlarni qo'llab-quvvatlaydi. Maqsadlarni, vazifalarni va ularni dastlabki kod jarayonida amalga oshirishni izchil ta'riflash - "yuqoridan pastga" yondashuv. Ushbu uslub yozma dasturni o'rganish va "tiqinlar" ni aniqlash nuqtai nazaridan eng tushunarli. Biroq, yana bir tomoni bor - pastdan yuqoriga yondashuv. Odatda dasturning aniq algoritmi hali ishlab chiqilmaganda qo'llaniladi, lekin allaqachon aniq harakatlarni amalga oshiradigan alohida kichik dasturlarni yozish mumkin.

3. Boshqaruv elementlari. Strukturaviy dasturlash ba'zi "assembler" yondashuvlaridan xalos bo'ldi. Past darajadagi tillarda ko'pincha shartsiz sakrash (goto) qo'llaniladi, uni kuzatish va boshqarish juda qiyin. Dasturlashning tizimli yondashuvi o'rniga quyidagi elementlardan foydalanadi: tsikl, shart va ketma-ketlik.