Формальность алгоритма: свойства и примеры