Fuente TeX:
L((aab)^*(a|b|\epsilon))