Fuente TeX:
s = (b|aa)^*abb^*a