You are right, of course. However, sometimes a slice of an
infinite set is enough, say for testing or debugging.
Also, regexes with only small characater classes and
finite quantifiers do produce useful and complete results.
Dominus' book gives you
an infinite stream of the matching strings,
ordered by length. Still quite a wait in your case.