add context-free grammar example