%% \begin{frame}
%% 
%% \frametitle{Simpele grammatica's}
%% 
%% \mbox{Voor sommige klassen van contextvrije grammatica's kan parseren}
%% effici\"enter.
%% 
%% \vfill
%% 
%% In een \alert{simpele} grammatica is elke productie van de vorm 
%% \[ \alert{A \to aB_1\cdots B_n} \hspace*{2cm} (a\in T) \]
%% \mbox{en is er voor elke $A \in V$ en $a \in T$ ten hoogste \'e\'en zo'n productie.}
%% 
%% \vfill
%% 
%% Simpele grammatica's zijn niet ambigu.
%% 
%% \vfill
%% 
%% \mbox{Parseren van een string $w$ ten opzichte van een simpele grammatica}
%% kan in \alert{$O(|w|)$}.
%% 
%% \end{frame}

\themex{Lambda Rules and Erasable Variables}