\begin{slide}{Spezifikation formaler Sprachen}

man kann eine formale Sprache beschreiben durch:
\begin{itemize}
\item \emph{algebraisch} (Sprach-Operationen)

Bsp: reguläre Ausdrücke
\item \emph{Generieren} (Grammatik),
Bsp: kontextfreie Grammatik,
\item \emph{Akzeptanz} (Automat),
Bsp: Kellerautomat,
\item \emph{logisch} (Eigenschaften), 
$ \left\{
w\mid
\forall p,r:
\left(\begin{array}{ll}
 &  (p<r \wedge w[p]=a \wedge  w[r]=c) \\
 \Rightarrow & \exists q: (p<q \wedge q<r\wedge w[q]=b)
\end{array}
\right)
\right\}
$
\end{itemize}

\end{slide}
