S, A, X a, e S -> AX | a | e X -> AX | a A -> a S