> -- Info21 писал(а):
> Я бы охотно с этим согласился, если бы Илья действительно расписал инвариант. Но тот мусор не имеет к инварианту никакого отношения.
Вот инвариант цикла:
A j: 0<=j<i: uri[j] = pattern[j]