34/38
\begin{frame}{Exercise}
  \bigskip
  
%   (In groups of two, 3 minutes)
  \begin{exampleblock}{}
    Let
    \begin{itemize}
      \item $\Sigma = \{\,a,b\,\}$
      \item $L = \{\,ab^n \mid n \geq 0 \,\}$
    \end{itemize}
    \medskip
    
    Describe the following languages as sets:
    \begin{align*}
      L^R  &= \mpause[1]{ \{\, b^na \mid n \ge 0\,\}} \\
      \mpause{\overline{L}  &=} \mpause{\{\,\lambda\,\}} \mpause{\cup \{\, bw \mid w\in \Sigma^* \,\}} \mpause{\cup \{\, awau \mid w,u\in \Sigma^* \,\}} 
    \end{align*}
  \end{exampleblock}
  \pause\pause\pause\pause\pause\pause\bigskip
  
  \begin{alertblock}{}
    Set notation is not ideal to describe languages.
  \end{alertblock}
\end{frame}