Fuente TeX:
L((a|b)^*bab)