Wenn ich jetzt z.B. z = $(a^nb^n)^n als Wort wähle, dann hat es die Mindestlänge n und vwx kann maximal n groß sein. Die Fälle die ich in diesem Fall erkannt habe, waren, dass vwx ein $ enthält und dann eben maximal nur as enthalten kann. Wenn wir dann z0 wählen hat das Wort kein $ Zeichen mehr und weniger as als bs, weshalb es in diesem Fall nicht mehr in der Sprache wäre. Ein anderer Fall wäre wenn vwx kein Dollar enthält, dann kann es as und bs enthalten, wobei dann z mit z0 nicht mehr in der Sprache liegen würde, da (2*n-i+j)(2n)^(n-1) ungleich (2n)^n(mit i + j >= 1, da vx nicht leer sein darf). Das ist jetzt zwar formal nicht sauber aufgeschrieben, aber das sind eben die Fälle die mir eingefallen sind, geht das in die richtige Richtung bzw. wie könnte man vwx noch wählen ?
