Изменения

|style="background:#ffffff"|Пусть суффикс <tex>s[k..i-1]</tex> заканчивается не в вершине, а на ребре, и мы спустились <tex>t_{t[1..l-1}]</tex> совпадает с концом <tex>s[k..i-1]</tex>. Если <tex>t_{l}\ne s_{i}</tex>, то создадим новую вершину в месте неравенства и добавим к ней еще одного ребенка с дугой, помеченной <tex>s_{i}</tex>.