Инвариант: до i подстроки нет (i – текущий просматриваемый символ).
Предусловие: i на единицу меньше длины подстроки (nlen-1)
Постусловие: i равно длине строки (hlen) или найдено вхождение подстроки
Шаг цикла:
Если последний символ подстроки не совпадает с текущим символом строки
увеличить i на соответствующий символ из таблицы стоп символов
иначе
проверить совпадение подстроки, если найдена – закончить
увеличить i на единицу.
