Characteristics Restricting heads to a single symbol is a definite character of the context-free grammar. For more unrestricted grammar, the head can have multiple symbols. For example: C -> A C A | B A // CFG C D -> A C D A | B A // Not CFG See Also parsing expression grammar (PEG) left recursion