\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}