Какво представлява свойството „формалност“ на компютърните алгоритми? Не е необходимо изпълнителят да има представа за решаваната задача и естеството на
получаваните резултати – достатъчно е той да изпълнява една след друга предписаните му елементарни операции (команди). Това свойство е много важно, защото позволява изпълнителят да е лишен от разум автомат.
Какво представлява свойството „крайност“ на компютърните алгоритми? Алгоритъмът трябва да бъде описание на процес, който е локализиран в пространството и краен във времето. От това свойство следва, че всяко изпълнение на алгоритъма задължително има освен начало още и край във времето. Нарушаването на това изискване при описанията на алгоритми (а от там и при тяхното изпълнение на компютри) води до проблем, известен като „зацикляне”
Какво представлява свойството „дискретност“ на компютърните алгоритми?
Свойството е свързано с обстоятелството, че описанието, представено от един алгоритъм, се състои от краен бр. елементи, а съответният алгоритмичен процес (изпълнението) протича на отделни стъпки. Това с-ство налага непрекъснатите по своята природа процеси и обекти да се моделират чрез дискретни компютърни представяния.
Какво представлява свойството „определеност“ на компютърните алгоритми? Означава, че на всяка стъпка информацията за състоянието и протичането на моделирания процес трябва да е достатъчна, за да определи еднозначно следващото действие на изпълнителя. Следствие е, че ако процесът е краен, то резултатът е напълно определен само от началните (входни) данни и действията, описани от алгоритъма.
Какво представлява свойството „масовост“ на компютърните алгоритми?
Отразява възможността при изпълнението на алгоритъма за всеки начален елемент (от допустимото множество входни данни) да се получава търсеният резултат. Иначе казано, алгоритъмът може да се прилага не само при решаването на една конкретна задача, а на цял клас от еднотипни задачи.