Masalalami qismlarini aniqlaganimizdan so‘ng biz Iteratsion
tuzilish ko‘rinishida tuzulmani amalga oshirishimiz mumkin.
Ixtiyoriy takrorlanish jarayonini tashkil etish uchun, uchta narsani
inobatga olishimiz mumkin:
(i) takrorlanish jarayoni boshlanishi uchun birlamchi shartlami
aniqlash.
(ii) invariant munosabatlar, siklni har bir takrorlanganidan
so‘ng, invariant munosabatlar mavjudligi.
(iii) sikl yakunlanishi uchun bajarilishi kerak shartni aniqlash.
Ayrim hollarda oldindan sikl necha marta takrorlanishini
aniqlab
olish
imkoni
yo‘q.
Bu
turdagi
sikllar
umuman
tamomlanmasligi mumkin. Bu vaziyatda algoritmni ishlab chiquvchi
zimmasiga m a’suliyati yuklanadi. Har bir muammo yakunlangan
qadamlar soniga ega b o ‘lishi kerak, shuning uchun algoritm ishlab
chiqilganda takrorlanishlar tamom b o ‘lishini inobatga olish kerak
(agar muammoni ichida joylashgan bo‘Isa).
Masalan, shartni shunday berish kerakki, sikl yakunlanish sharti
yolg‘on bo ‘lsin.
Dostları ilə paylaş: