\begin{slide}{Kombinator-Parser und Grammatiken}

Grammatik mit Regeln $S \to  a S b S, S \to \epsilon $ entspricht 

\begin{verbatim}
s :: Parser Char ()
s =   do { expect 'a' ; s ; expect 'b' ; s } 
  <|> return ()
\end{verbatim}

Anwendung: \verb|exec "abab" $ do s ; eof|


\end{slide}
