25/122
\begin{frame}{Examples of Formal Languages}
  Let $\Sigma = \{a,b\}$.
  \pause\bigskip

  \begin{exampleblock}{}
    $\{\,ab,\; aab,\; bbaaabb\,\}$ is a finite language
  \end{exampleblock}  
  \pause\bigskip
  
  \begin{exampleblock}{}
    $\{\,ab^n a \mid n \geq 1\,\}$ is an infinite language:
    \begin{talign}
      \{\,aba,\; abba,\; abbba,\; abbbba,\; \ldots\,\}
    \end{talign}
  \end{exampleblock}
  \pause\bigskip
  
  \begin{exampleblock}{}
    $\{a^nb^n \mid n \geq 0\}$ is an infinite language:
    \begin{talign}
    \{\,\lambda,\; ab,\; aabb,\; aaabbb,\; aaaabbbb,\; \ldots\}
    \end{talign}
  \end{exampleblock}
\end{frame}