Статья 2292

Подобного типа недосмотр часто является причиной неверной работы программы. Это упущение можно исправить, если договориться, что в случае неудачного поиска слова выходное значение следует сделать большим максимального значения, допустимого для начала сравниваемых цепочек, а именно.
Перечисленные три условия - совпадение литер в слове и в тексте для всех обозначений, отсутствие области совпадения для меньших значений требование представляют собой высказывания, полезные для установления правильности алгоритма. Оказывается, их можно также использовать в качестве схемы для конструирования самого алгоритма. Один очевидный метод анализа текста - итерационный. Первое и третье условия устанавливаются в цикле в качестве пароля, второе условие выступает как инвариант цикла. Начальное значение задается равным поиск начинается с начала текста. При каждом прохождении цикла осуществляется проверка контрольных условий если слово совпадает с текстом или превышает, то программа выходит из цикла, в противном случае увеличивается на 1 и цикл повторяется.