Пытаюсь разобраться с алгоритмом Укконена. Вроде бы преодолел почти всю публикацию Эско Укконена, но вот некоторые части самого алгоритма пока для меня размыты.
К примеру, в описании процедуры
test-and-split(s, (k, p), t) мне не понятны следующие строчки:
let

be the

–transition from s;
if

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