Fuente TeX:
S\rightarrow aSB|aBb\\ B\rightarrow bB|b