Изменения

|style="background:#ffffff"|[[Файл:Case2.png]]

|-

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

|style="background:#ffffff"|[[Файл:Case1.png]]

|-

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

|style="background:#ffffff"|[[Файл:Case1.png]]

|-

|style="background:#ffffff"|Пусть суффикс <tex>s[k..i-1]</tex> заканчивается в вершине, из которой есть путь по <tex>s_{i}</tex>. Тогда ничего делать не надо.

|style="background:#ffffff"|[[Файл:Case3.png]]