Dasturlash uslublari va paradigmalari

MUHAMMAD AL-XORAZMIY NOMIDAGI TOSHKENT AXBOROT TEXNOLOGIYALARI UNIVERSITETI FARG’ONA FILIALI

“telekomunikatsiya texnalogiyalari va Kasb Ta’limi” fakultetining


“Dastur injiniring” yo’nalishi



DAsturlash uslublari va paradigmalari
652-20 guruh talabasi zaylobidinov shukrullo
fanidan tayyorlagan
Loyiha ishi
Topshirdi: Zaylobidinov Sh.
Qabul qildi: Musayev X.
Strukturaviy dasturlashning umumiy xarakteristikasi
Aslida, strukturaviy uslubning taqdimoti bitta ma'ruza doirasiga sig'maydi. Ammo dasturlashning ushbu uslubi (toʻgʻrirogʻi, uning tsikl va massivlarga asoslangan varianti, biroz rekursiv protseduralar bilan toʻldirilgan) anʼanaviy tillarda dasturlash boʻyicha hozirda taklif etilayotgan barcha oʻquv qoʻllanmalarida mumkin boʻlgan yagona uslub sifatida taʼriflangan va oʻrnatilgan. Shu munosabat bilan biz talaba u bilan tanish deb taxmin qilish huquqiga egamiz (bundan tashqari, u faqat u bilan tanish va u hali boshqa uslublarni idrok etish qobiliyatini yo'qotmagan deb umid qilamiz). Strukturaviy uslubda ushbu oʻzgarishni tushundim deb oʻylagan boʻlsangiz-da, anʼanaviy taqdimotlardan oʻtkazib yuborilgan xususiyatlar uslubga boʻlgan nuqtai nazaringizni butunlay oʻzgartirishi mumkin.
Biz tuzilgan dasturlashni muqobil raqib do'stlar hamjamiyatining teng huquqli a'zosi sifatida ko'ramiz1.

* * *

Keling, tarixga nazar tashlashdan boshlaylik.
Dastur sxemalari nazariyasida oqim diagrammalarining ayrim holatlarini tahlil qilish osonroq ekanligi qayd etilgan [16]. Shuning uchun 1966 yilda italiyalik olimlar S. Bem va K. Giakopini tomonidan tuzilgan blok-sxemalarning bunday sinfini ajratib ko'rsatish tabiiy edi. Ular har qanday blok-sxemani bir nechta qo'shimcha mantiqiy o'zgaruvchilar yordamida tuzilgan shaklga keltirish mumkinligini isbotladilar. . E. Dijkstra ta'kidladiki, bu shakldagi dasturlar, qoida tariqasida, tushunish va o'zgartirish osonroq, chunki har bir blokda bitta kirish va bitta chiqish mavjud.
Strukturaviy dasturlash usuli sifatida E.Dijkstra faqat sikl va shartli operator konstruktsiyalaridan foydalanishni taklif qildi, banishing go to kontseptual jihatdan bu uslubga zid.
Ehtimol, bu dasturlash nazariyasi va amaliyotida (va hatto barcha zamonaviy fanlarda) aniq qayd etilgan va hisobga olingan birinchi kontseptual qarama-qarshilikdir. Ammo, rasmiylashtirilmagan tushunchalar nazariyasining hatto konturlari ham mavjud emasligi va kichik rasmiylashtirishlar bilan ishlash tajribasi ular bilan ishlashga o'tkazilganligi sababli, tarkibiy qarama-qarshilik quyidagicha qabul qilindi.
Afsuski, go to bayonoti anʼanaviy (keyinchalik universal deb ataladigan) algoritmik tillardagi boshqa konstruksiyalar bilan rasmiy ravishda mos keladi. Ammo, aslida, u ular bilan yaxshi munosabatda bo'lmaydi. Shunday qilib, u o'z-o'zidan yomon.

Strukturaviy dasturlash asosan rekursiv funksiyalar nazariyasining nazariy apparatiga asoslanadi. Dastur kutubxona tartiblari va original operatsiyalar ustidan qisman rekursiv operator [21] sifatida qaraladi. Strukturaviy dasturlash ham isbot nazariyasiga, birinchi navbatda tabiiy xulosaga asoslanadi. Dasturning tuzilishi murakkab lemmalar va mavhum tushunchalardan foydalanmaydigan eng oddiy matematik fikrlash tuzilishiga mos keladi2.

Strukturaviy dasturlash vositalari, birinchi navbatda, barcha an'anaviy dasturlash tillarida va ko'plab noan'anaviy tillarda mavjud. Ular dasturlash bo'yicha o'quv kurslarida va nazariy ishlarda asosiy o'rinni egallaydi (masalan, [ 1 ] , [ 4 ] , [ 9 ] .
Strukturaviy dasturlashda topshiriqlar va mahalliy harakatlar dasturning ajralmas qismiga aylanadi. Moduldagi har bir o'zgaruvchidan ma'lum bir maqsadda ishlatilishiga ehtiyot bo'lish kifoya va "iqtisod" ga yo'l qo'ymaslik, bunda ma'lum bir joyda keraksiz bo'lgan o'zgaruvchi vaqtincha butunlay boshqa qiymat uchun ishlatiladi. Bunday "iqtisod" axborotga bog'liqliklarning strukturasini chalkashtirib yuboradi, ular uslubni hisobga olgan holda dastur tuzilishi bilan yaxshi mos kelishi kerak.
Strukturaviy dasturlash tabiiy ravishda muammolarning ko'p sinflarida, birinchi navbatda, vazifa tabiiy ravishda quyi vazifalarga bo'lingan va ma'lumotlar juda mustaqil ma'lumotlar tuzilmalariga bo'lingan muammolarda paydo bo'ladi. Uning asosiy o'zgarmasligi: