Necesito construir una expresión regular que reconozca el siguiente lenguaje de cadenas sobre el alfabeto {a,b}: - El conjunto de todas las cadenas sobre el alfabeto {a,b} en las que cada ocurrencia de b es seguida por al menos dos a's. Por ejemplo, la cadena vacía está en este lenguaje, al igual que toda cadena formada únicamente por a's. La cadena abaa está en el lenguaje, pero aba no.
Lo que se me ha ocurrido es a*b*a{2,} pero que no aceptan la cadena vacía.
