Übungen

• Beispiele Wort-Ersetzung (ab→baa, usw.)
• Dyck-Sprache: Beweis L(G)⊆D

  (Induktionsbehauptung? Induktionsschritt?)

• Dyck-Sprache: Beweis D⊆L(G)

• CF-Grammatik für {w | w∈{a, b}^*,| w|_a = | w|_b}

• CF-Grammatik für {w | w∈{a, b}^*, 2⋅| w|_a = | w|_b}