Суффиксное дерево

[Pixar]

Пытаюсь разобраться с алгоритмом Укконена. Вроде бы преодолел почти всю публикацию Эско Укконена, но вот некоторые части самого алгоритма пока для меня размыты.

К примеру, в описании процедуры test-and-split(s, (k, p), t) мне не понятны следующие строчки:

let $g'(s, (k', p')) = s'$ be the $t_k$–transition from s;
if $t = t_{k' + p - k + 1}$ then return(true, s)

А точнее, мне не ясно, что означают состояние s' и индексы k', p'.
Буду благодарен за разъяснения.