%% -*- mode: latex; TeX-master: "compilerbau.tex"; -*-

\begin{slide}{Autotool-Aufgaben}

\kopf{$ $Id: aufgaben.tex,v 1.1 2011-10-16 14:06:16 waldmann Exp $ $}

Wir betrachten diese Sprachen:
\begin{itemize}
\item \verb|Sub|. Alle Strings über Alphabet $\{a,b\}$,
  die keinen Teilstring $aba$ enthalten.
\item Kommentare (\verb|Com|):
  beginnen mit $ab$, enden mit $ba$,
  dazwischen beliebige Zeichenfolge ohne $ba$.
  Alphabet ist $\{a,b,c,d\}$.
\item String-Literale (\verb|String|):
  beginnen mit $q$, enden mit $q$,
  dazwischen kein $q$, es sei denn, es ist escaped ($bq$)
  Alphabet ist $\{a,b,c,q\}$.
\item (\verb|Drei|):
  Die Anzahl der $a$ in $w$ ist durch 3 teilbar
  und alle $b$ stehen links von allen $c$.
  Alphabet ist $\{a,b,c\}$.
\end{itemize}
\end{slide}

\begin{slide}{Autotool-Aufgaben (II)}

und dazu diese Aufgaben:
\begin{itemize}
\item Automaten-Synthese (\verb|Synthese-S-{Sub,Com,String,Drei}|): 
  Finden Sie jeweils
  einen endlichen Automaten, der die Sprache erzeugt.
\item \verb|Analyse-A-{Sub,Com,String,Drei}|: 
  Finden Sie jeweils einen regulären Ausdruck,
  der die Sprache beschreibt.
\end{itemize}

\verb|Synthese-S-Quiz|: finden Sie einen endlichen Automaten
zu gegebenem regulären Ausdruck.


\end{slide}
