(a+ b) a matches a single "a" but only if it is not part of an arbitrarily long sequence of a's followed by a b.
(a+ b) a принимает один символ «a», но только если он не является первым в последовательности a произвольной длины, за которой следует b.