refers to the first k characters of P (the k length prefix of P).
P = aababddc etc.
etc.
Given a pattern P[1,m], define the prefix-function :
Example.