
\begin{slide}{Inferenz-Systeme (Beispiel 2)}

  \begin{itemize}
  \item
    Grundbereich: Zeichenketten aus $\{0,1\}^*$
  \item Axiom: \[ \frac{}{01} \]
  \item Regel-Schemata (für jedes $u,v$): 
\[
\frac{0u, v0}{u1v}, 
\quad \frac{1u,v1}{u0v}, 
\quad \frac{u}{\operatorname{reverse}(u)}
\]
  \end{itemize}
  
Leite $11001$ ab. Wieviele Wörter der Länge $k$ sind ableitbar?

\end{slide}


