\begin{frame}{Example}
  \begin{block}{}
  \begin{itemize}\setlength{\itemsep}{-.5ex}
    \item $\follow{S} \supseteq \{\,\$\,\}$
    \item $\follow{A} \supseteq \first{w} \setminus \{\,\lambda\,\}$ for every rule $B \rightarrow v A w$
    \item $\follow{A} \supseteq \follow{B}$ for rules $B \to v A w$ with $\lambda \in \first{w}$
  \end{itemize}
  \end{block}

  \begin{exampleblock}{}
    If $C \rightarrow AB$, then:
    \medskip
    \begin{itemize}\setlength{\itemsep}{2ex}
      \pause
        \item $\first{B} \subseteq \follow{A}$
          
          Example: $C \Rightarrow AB \Rightarrow^* Aaw$ if $B \rightarrow aw$

      \pause
        \item $\follow{C} \subseteq \follow{B}$
        
          Example: $S \Rightarrow Ca \Rightarrow ABa$ if $S \rightarrow Ca$
          
      \pause
        \item $\follow{C} \subseteq \follow{A}$ if $B \Rightarrow^* \lambda$
        
          Example: $S \Rightarrow Ca \Rightarrow ABa \Rightarrow Aa$ 
          if $S \rightarrow Ca$ and $B \rightarrow \lambda$
    \end{itemize}
    \medskip
  \end{exampleblock}
\end{frame}