13
amallar toʻplamining ta‘rifi, balki ularni qoʻllashning nisbiy xarajatlari
sifatida ham koʻrib chiqadi. Kerakli hisoblash manbalarini - ijro etish
vaqtini, xotira hajmini, shuningdek algoritmlarning cheklanishlarini yoki
kompyuterni xarakterlash mumkin - faqat ma‘lum bir hisoblash modeli
tanlangan taqdirda.
Modelga asoslangan muhandislikda hisoblash modeli va uning
tanlovi, agar uning alohida qismlarining xatti-harakatlari ma‘lum boʻlsa,
umuman tizim qanday ishlaydi degan savolga javob beradi.
Hisoblash murakkabligining asimptotik bahosida hisoblash modeli
ma‘lum narx bilan qabul qilinadigan primitiv amallar orqali aniqlanadi.
Ma‘lum amallar toʻplamiga va ularning hisoblash murakkabligiga
qarab bir qator hisoblash modellari ma‘lum. Ular quyidagi keng
toifalarga boʻlinadi: algoritm hisoblashning murakkabligini yuqori
chegarasini olish uchun foydalaniladigan abstrakt mashinalar va
algoritmik masalalar uchun hisoblash murakkabligining pastki
chegarasini olish uchun ishlatiladigan qaror modellari.
