Topshirdi: Nabiyev s qabul qildi: Musayev X maze: Strukturaviy dasturlashning umumiy xarakteristikasi

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

“Kasb Ta’lim va telekomunikatsiya” fakultetining


“Dastur injiniring” yo’nalishi



Dasturlash uslublari va paradigmalar
653-20 guruh talabasi Nabiyev sanjarbek
fanidan tayyorlagan
refarat


Topshirdi: Nabiyev S
Qabul qildi: Musayev X

Maze: Strukturaviy dasturlash


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 oʻzlashtirdim deb oʻylasangiz ham, anʼanaviy taqdimotlardan oʻtkazib yuborilgan xususiyatlar uslubga boʻlgan qarashingizni butunlay oʻzgartirishi mumkin.

Keling, tarixga nazar tashlashdan boshlaylik.

Dastur sxemalari nazariyasida oqim diagrammalarining ayrim holatlarini tahlil qilish osonroq ekanligi qayd etilgan. 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 subprogrammalari va original operatsiyalar ustidan qisman rekursiv operator 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 keladi.

Strukturaviy dasturlash uslubini yaxshi amalga oshirishning zaruriy xususiyati quyidagi dastur komponentlarining izchilligini va ideal birligini saqlashdir: