Основні властивості алгоритму – дискретність, зрозумілість, визначеність, результативність, масовість.
Алгоритми бувають трьох типів: послідовний – дії виконуються по порядку одна за одною; циклічний – організовує повторення дій; розгалужувальний – містить одну або кілька логічних умов і має кілька гілок обробки.
Зрозумілість. Алгоритм, складений для конкретного виконавця, має містити тільки ті команди, які входять до його системи команд. Ця властивість алгоритму називається зрозумілістю. Алгоритм не повинен бути розрахований на прийняття будь-яких самостійних рішень виконавцем, не передбачених упорядником алгоритму.