pi[i] = max{k | 0 ? k < i, S[1..k] = S[i - k + 1..i]}
Тут, наверное, справа в проверке на равенство тоже диапазон 1..k. А то получается, что строка длиной k должна быть равна строке длиной i.
