Свойства.
1. Однозначность - каждая команда не должна быть понята двусмысленно.
2. Результативность - в конце должен быть результат.
3. Конечность - число шагов алгоритма должно быть конечным.
4. Понятность - все команды должны быть понятны исполнителю.
5. Массовость - по одному и тому же алгоритму можно будет решить много задач одного типа.
