Context-Free Languages and Parse Trees

Example: CFG for {0 n1 n | n ≥ 1}

CFG Formalism

Productions

Example: Formal CFG