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

\begin{slide}{Grammatiken}

\kopf{$ $Id: grammatik.tex,v 1.3 2012-10-22 14:49:19 waldmann Exp $ $}

\begin{minipage}{0.5\textwidth}
\emph{Grammatik} $G$ besteht aus:
\begin{itemize}\itemsep 0pt
\item Terminal-Alphabet $\Sigma$ 

(üblich: Kleinbuchst., Ziffern)
\item Variablen-Alphabet $V$ 

(üblich: Großbuchstaben)
\item Startsymbol $S \in V$
\item Regelmenge \\ (Wort-Ersetzungs-System) 

  $R \subseteq (\Sigma\cup V)^* \times  (\Sigma\cup V)^*$
\end{itemize}
\end{minipage}%
\begin{minipage}{0.5\textwidth}
\begin{small}
\begin{verbatim}
Grammatik
  { terminale 
       = mkSet "abc"
  , variablen
       = mkSet "SA"
  , start = 'S'
  , regeln = mkSet
       [ ("S", "abc")
       , ("ab", "aabbA")
       , ("Ab", "bA")
       , ("Ac", "cc")
       ]
  }
\end{verbatim}
\end{small}
\end{minipage}
\bigskip
von $G$ erzeugte Sprache:
$ L(G) = \{ w \mid S \to_R^* w \wedge w \in \Sigma^* \}$.
\end{slide}
