für die m ein Präfix von wiwi+1... ist,
oder die Feststellung, daß es kein solches i gibt.
Variante: eine endliche Menge von Mustern {m1,..., mk}