Aber woher weiß die Engine dann, wann sie aufhören muss zu fressen? Wie läuft dieser Algorithmus ab? Wie oft darf das Muster, dass nach einem ungreedy geschalteten Quantifier noch kommt, im Gesamttext noch vorkommen?
Ist das von ungreedy nicht unabhängig? Im Fall greedy passen alle "bauen" vor dem letzten "bauen" in das (.+?) also steckt er die da auch rein.
A(.+?)bauen
Hält der Algorithmus nun beim ersten 'bauen', dass auf ein 'A' zuzügl. mindestens einem Folgezeichen folgt an?
Ich glaube die Antwort ist ganz einfach, es paßt auf den kürzesten möglichen Ausdruck auf den es paßt, also ja.
Ich bin mir aber nicht sicher, ob das war was Du wissen wolltest.