Bei der Zerlegung wird das Wort nicht in drei gleichlange Teile geteilt. Es muss nur so aufgeteilt werden, dass eben \( |xy| \leq n \) ist (plus die anderen Bedingungen).
Das liegt daran, dass aufgrund der Eigenschaften endlicher Automaten (s. Vorlesung), bei einem Wort, dass mindestens soviele Zeichen hat wie es Zustände gibt (n), in den ersten n Zeichen eine Schleife durchlaufen wird. Diese Schleife kann man beliebig oft durchlaufen, da man immer wieder am Start der Schleife rauskommt. Von dort aus hat man dann immer die selben Alternativen. Eben das wird durch das i repräsentiert, das beliebig oft wiederholt werden kann.
Ich hoffe, ich konnte euch weiterhelfen.
Viele Grüße
Philippe