Fuente TeX:

C \longrightarrow aCbc | \epsilon