The document discusses ambiguity in context-free grammars. It provides examples of ambiguous grammars, including one where the grammar G with production rules X → X+X | X*X |X|a is shown to be ambiguous because the string "a+a*a" has two different leftmost derivation trees. It then lists four other grammars and briefly states that each one is ambiguous without showing the derivations.