Hallo uqyxt,
da haben sich ein paar Fehler eingeschlichen, und so funktioniert es nicht. Ich würde empfehlen bei xy und x immer nur ein Zeichen als Basis zu haben und nicht mehrere (wie hier a^2=aa).
Da |xy| nicht größer sein darf als n ist es mit j komplizierter, da das nur noch log_2(n) lang sein darf, damit deckt man aber nicht alle Fälle ab. Man will ja alle Fälle prüfen mit maximal n Zuständen und eventuellen Schleifen, das ist hier nicht mehr gegeben.
Und zudem ist dein z hier noch falsch, es wäre a^(2^n-2^j) (Potenzgesetze)