Deine Umformung ist falsch. Du wendest hier Regeln der Mathematik (Arithmetik) an. $a$ und $b$ sind aber keine numerischen Variablen, die für Zahlen stehen sondern Zeichen aus einem Alphabet. Wörter, die erkannt werden sollen, sind: $\lambda, aab, aabaab, aabaabaab, \ldots$
Viele Grüße,
Sven (Tutor)