Kenneth Tanzer <ktanzer@desc.org> writes:
> Greediness is inherited from left to right, so that outer
> subexpressions take precedence over their component subexpressions. The
> greediness of an RE is set by the first subexpression that is either
> greedy or non-greedy.
Isn't that a contradiction in terms? I'd certainly think the term
"inheritance" means top-down, whereas the actual behavior is
bottom-up (except when "|" is involved).
Anyway, I don't think this explanation is materially better than what
we had. ISTM the real lack in this section is examples to clarify the
implications of the rules, and you haven't added any ... in fact it
looks like you removed the examples that were there.
regards, tom lane