\begin{slide}{Parser}

Ansätze:
  \begin{itemize}
  \item eingebettet: Kombinator-Parser (Parsec)
  \item separat: lex/yacc (flex/bison), javacc, 
    antlr, \dots
  \end{itemize}

Unterschiede:
  \begin{itemize}
  \item eingebettet: 
    benutzt Typsystem, Abstraktionsmechanismen, 
    Bibliotheken  der Gastsprache (separat: diese
    Ausdrucksmittel fehlen oder müssen simuliert werden)
  \item diese 
    Einschränkung der Ausdruckskraft 
    (z. B. LR($k$)-Grammatiken) gestattet
    effizientere Realisierung 
    (z. B. deterministische Kellerautomaten)
  \end{itemize}

\end{slide}
