Fuente TeX:
S' \longrightarrow aaaBc | ccAb