Fuente TeX:
S \longrightarrow aabX | aaab | X