\begin{slide}{Übungen}

  \begin{itemize}
  \item Beispiele Wort-Ersetzung ($ab\to baa$, usw.)
  \item Dyck-Sprache: Beweis $L(G)\subseteq D$
    
    (Induktionsbehauptung? Induktionsschritt?)
  \item Dyck-Sprache: Beweis $D\subseteq L(G)$

  \item CF-Grammatik für $\{w \mid w\in\{a,b\}^*, |w|_a=|w|_b\}$
    
  \item CF-Grammatik für $\{w \mid w\in\{a,b\}^*, 2\cdot |w|_a=|w|_b\}$    
  \end{itemize}

\end{slide}
