This document discusses context-free grammars and provides examples of derivation, derivation trees, and ambiguity in grammars. It defines context-free grammars using four tuples and provides examples of constructing CFGs for regular expressions. It explains leftmost and rightmost derivation and gives examples of deriving strings using each approach. Derivation trees are defined as graphical representations of derivations and examples are shown. Grammar ambiguity is defined as having multiple derivations or parse trees for an input string, and examples are provided to check for ambiguity.