<p>Embora essa pergunta foi feita há vários anos atrás existem alguns equívocos que precisam ser corrigidos.
</p>
<p>
O <code>*</code> não é o único quantificador guloso.<br>
Os quantificadores gulosos são: <strong><code>?</code> <code>+</code> <code>{}</code> <code>*</code></strong><br>
Por exemplo, o opcional <code>?</code> casa 0 ou 1 vez o elemento anterior.<br>
</p>
<pre>
<strong>Texto      ER         Casou</strong>
aa         ...?       aa
aaa        ...?       aaa
</pre>
Veja que no segundo texto ele casou com aaa em vez de aa.<br>
Quantificadores gulosos sempre casarão com o máximo que ele puder.<br>
No primeiro texto a ER casou com aa apenas porque não havia um terceiro caractere.<br>
<p>
Já o <code>{}</code> só não é guloso se você o usar na forma <code>{numero}</code>.<br>
Como em <code>{3}</code>. Nesse caso ele é exato. <br>
Nas outra formas ele também é guloso.
</p>
<p>
Os quantificadores não gulosos são: <strong><code>??</code> <code>*?</code> <code>+?</code> <code>{}?</code></strong><br>
Ou seja, os quantificadores gulosos "colados" com uma <code>?</code> à sua direita.<br>
Ao contrário dos gulosos, eles sempre casam com o mínimo possível.
</p>
<pre>
<strong>Texto      ER         Casou</strong>
aa         ...??      aa
aaa        ...??      aa 
</pre>
<p>
Observe que embora o segundo texto seja maior, ele ainda casou com aa.<br>
Porquê? Porque o <code>??</code> não é guloso. Ele casou com o mínimo possível.
</p>
<p>
Esses são apenas exemplos simples, e talvez não os melhores exemplos...<br>
Bem, de qualquer forma, fazer procuras em arquivos de texto, cadeia de caracteres e validar entradas de dados é algo corriqueiro em programas.<br>
Então se aprofundar em Expressões Regulares é uma boa ideia.
</p>