Hallo,
das wäre hier natürlich ebenfalls richtig. Die Ausdrücke |vx| >= 1, |vx| > 0, vx != λ sind equivalent, da Wörter ja immer nur eine ganzzahlige Länge haben können. Für die Variation kann ich keinen Grund erkennen, allenfalls um die verschiedenen Varianten aufzuzeigen.
Grüße, Lukas (Tutor)