Lukas' Notes

Definition

Maximal Border (String)

The maximal border of a string is itself. Every border of is also a border of the maximal border.