Ich bin hier leicht verwirrt.
Eine Bedingung des PPL für kontextfreie Sprachen besagt doch, dass vx ungleich lambda (also nicht das leere Wort sein dürfen, also insbesondere, dass in v und x etwas drinstehen muss...)
Wenn ich nun aber i=0 wähle ist mein uv^0wx^0y doch gerade = uxy und das heißt doch dass vx = lambda oder nicht?
Immer wenn man also i=0 wählt, widersprechen sich doch diese zwei bedingungen oder?