a* (b a*)*
