Strukturali dasturlash

Strukturaviy dasturlashning maqsadi - dasturchilarning ish unumdorligini oshirish, shu jumladan yirik va murakkab dasturiy ta'minot tizimlarini ishlab chiqishda, xatolar sonini kamaytirish, disk raskadrovka, o'zgartirish va dasturiy ta'minotga texnik xizmat ko'rsatishni soddalashtirish. Bu maqsad dasturlarning murakkabligi ortib borishi hamda yirik dasturiy ta’minot loyihalarini ishlab chiquvchilar va menejerlarning 1960-1970 yillarda dasturiy vositalarni ishlab chiqish bilan bog‘liq holda yuzaga kelgan muammolarni bartaraf eta olmasligi bilan bog‘liq holda belgilandi.
Spagetti-kod - noto'g'ri ishlab chiqilgan, noto'g'ri tuzilgan, chalkash va tushunish qiyin bo'lgan ko'plab goto iboralari, istisnolar va tuzilmani buzadigan boshqa konstruktsiyalarni o'z ichiga olgan dastur. Spagetti kodi shunday nomlangan, chunki dastur oqimi spagetti kosasiga o'xshaydi, ya'ni burmalangan va burmalangan. Ko'p o'tish ko'rsatmalari tufayli ba'zan "kenguru kodi" deb ataladi.
Hozirgi vaqtda bu atama nafaqat goto suiiste'mol qilish holatlariga, balki bir xil kichik fragment juda ko'p turli xil vaziyatlarda bajariladigan va juda ko'p turli xil mantiqiy funktsiyalarni bajaradigan har qanday "ko'p bog'langan" kodga nisbatan qo'llaniladi.
Spagetti kodini disk raskadrovka qilish va to'g'ri va yuqori unumdorlik bilan ishlatish mumkin, ammo uni saqlash va rivojlantirish juda qiyin. Spagetti kodini yangi funksiyalarni qo'shish uchun tozalash ba'zan yangi xatolarni kiritish uchun katta potentsialga ega. Shu sababli, refaktoring spagetti uchun asosiy davo ekanligi deyarli muqarrar.
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;