11
oddiy amalni ham bajara olmay qolishi mumkin.
Har bir ijrochining
bajara olishi mumkin boʻlgan koʻrsatmalar tizimi mavjud.
3-xossa. Aniqlik, ya‘ni ijrochiga berilayotgan koʻrsatmalar aniq
mazmunda boʻlishi lozim hamda faqat algoritmda koʻrsatilgan tartibda
bajarilishi shart.
4-xossa.
Ommaviylik, ya‘ni har bir algoritm mazmuniga koʻra bir
turdagi masalalarning barchasi uchun yaroqli boʻlishi lozim.
Masalan,
ikki oddiy kasr umumiy maxrajini topish algoritmi har qanday kasrlar
umumiy maxrajini topish uchun ishlatiladi.
5-xossa. Natijaviylik, ya‘ni har bir algoritm chekli sondagi
qadamlardan soʻng albatta natija berishi lozim.
Bu xossalar mohiyatini oʻrganish va konkret algoritmlar uchun
qarab chiqish talabalarning xossalar mazmunini bilib olishlariga yordam
beradi.