Cadena par de la expresión regular de b

Question

He podido encontrar una expresión regular sobre el lenguaje {a,b} para todas las cadenas que contienen un número par de b's: $$a^{*}(ba^{*}ba^{*})^{*}$$ Sin embargo, tengo dos preguntas relacionadas con esta expresión regular.

1. ¿No debería el grupo después de la primera $a$ tener un $^{+}$ ya que esta expresión regular podría seleccionar cadenas que tienen 0 b's?

2. Tal vez mi comprensión de las expresiones regulares es defectuosa (en términos de declaraciones regex reales), pero he intentado probar esto en un editor regex y se selecciona para las cadenas como $a$ y $aa$ que no contienen b. ¿Es que no hay correlación entre las expresiones regulares y las regex?

Answer 1

El cero es un número par. La cadena $aa$ contiene un número par de $b$ s. La cadena vacía (con la que coincide su RE) también contiene un número par de $b$ s.