Strukturali dasturlash

Strukturaviy dasturlash teoremasi - Teorema italiyalik matematiklar Korrado Boyem va Juzeppe Yakopini tomonidan tuzilgan va isbotlangan. Ular uni 1965 yilda italyan va 1966 yilda ingliz tilida nashr etishdi. Teorema bilan bir qatorda, Boyem va Juzeppe maqolasida misol tariqasida Boyem tomonidan yaratilgan P dasturlash tilidan foydalanib, strukturaviy boʻlmagan algoritmlarni strukturaviy algoritmlarga aylantirish usullari tasvirlangan. P tili goto iborasi bo'lmagan birinchi Turing-to'liq dasturlash tilidir.
Boyem-Yakopini teoremasi murakkab tilda va noodatiy yozuvda yozilgan.
Sxema shaklida berilgan har qanday dastur uchta boshqaruv tuzilmasi yordamida taqdim etilishi mumkin:

1. 
   ketma-ketlik - f THEN g;
   
2. 
   Shoxlanish - IF p THEN f ELSE g;
   
3. 
   Sikl - WHILE p DO f;
   

Strukturaviy dasturlash tamoyillari . Strukturaviy dasturlashning shakllanishi va rivojlanishi Edsger Deykstra nomi bilan bog'liq.

1. 
   Goto shartsiz o'tish operatoridan foydalanishdan voz kechish kerak.
   
2. 
   Har qanday dastur uchta asosiy boshqaruv tuzilmasidan qurilgan: ketma-ketlik, tarmoqlanish, tsikl.
   

Ketma-ketlik - amallarning dastur matnida yozilish tartibida bir martalik bajarilishi.
Shoxlanish - belgilangan shartning bajarilishiga qarab ikki yoki undan ortiq amallardan birini bir marta bajarish.
Tsikl - belgilangan shart bajarilgunga qadar bir xil operatsiyani takroran bajarish.

3. 
   Dasturda asosiy boshqaruv tuzilmalari bir-biriga ixtiyoriy tarzda joylashtirilishi mumkin. Operatsiyalar ketma-ketligini nazorat qilishning boshqa vositalari taqdim etilmaydi.
   
4. 
   Dasturning takrorlanuvchi fragmentlari pastki dasturlar ko'rinishida joylashtirilishi mumkin. Xuddi shu tarzda, agar ular takrorlanmasa ham, dasturning mantiqiy izchil qismlarini tartibga solishingiz mumkin.
   

Bunda asosiy dastur matnida kichik dasturga joylashtirilgan fragment o'rniga "Postprogrammaga qo'ng'iroq qilish" ko'rsatmasi qo'shiladi. Bunday ko'rsatma bajarilganda, chaqirilgan pastki dastur ishlaydi. Shundan so'ng, asosiy dasturning bajarilishi "Qo'ng'iroq pastki dastur" buyrug'idan keyingi ko'rsatma bilan boshlanadi.
Bertrand Meyer shunday tushuntiradi: "Elementni, ehtimol ichki elementlar bilan, boshqaruv oqimida bitta kirish va bitta chiqish bilan tavsiflangan pastki dasturga aylantiring".

5. 
   Har bir mantiqiy to'liq ko'rsatmalar guruhi blok sifatida joylashtirilishi kerak. Bloklar tuzilgan dasturlashning asosidir.
   

Blok - bu dasturning dastlabki kodida ketma-ket yozilgan ko'rsatmalar to'plami kabi manba kodining mantiqiy guruhlangan qismidir. Blok tushunchasi ko'rsatmalar blokiga bitta ko'rsatma sifatida qarash kerakligini anglatadi. Bloklar o'zgaruvchilar va funktsiyalar doirasini cheklash uchun xizmat qiladi. Bloklar bo'sh yoki bir-birining ichiga joylashtirilishi mumkin. Blok chegaralari qat'iy belgilangan.

6. 
   Barcha sanab o'tilgan tuzilmalar bitta kirish va bitta chiqishga ega bo'lishi kerak..