<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">%% -*- mode: latex; TeX-master: "compilerbau.tex"; -*-

\begin{slide}{LL(1)-Grammatiken}

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

Eine CFG heiÃŸt LL(1), falls
fÃ¼r jedes Paar $(A \to u, A \to v)$ von verschiedenen Regeln gilt:

\[ \First (u \Follow(A)) \cap \First (v \Follow(A)) = \emptyset \]

Folgerungen: FÃ¼r jede Variable $A$:
\begin{itemize}
\item Keine zwei rechten Seiten von $A$-Regeln 
  kÃ¶nnen mit dem gleichen Terminal beginnen.
\item Es gibt hÃ¶chstens eine nullierbare $A$-Regel.
\item Wenn $A$ nullierbar ist, und $A \to r$ eine nicht nullierbare Regel,
  dann $\Follow(A) \cap \First(r)=\emptyset$.
\end{itemize} 

Satz: Wenn $G$ LL(1), dann $G$ eindeutig.

Aufgabe: aber nicht andersherum!

\end{slide}



</pre></body></html>