887 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

   887 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

   888 \begin{frame}[c]

   888 \begin{frame}[c]

   889 \frametitle{Simplification}

   889 \frametitle{Simplification}

   890 

   890 

   891 \begin{itemize}

   891 \begin{itemize}

   893 value for the simplified regular expression, but \emph{not} for the original

   893 value for the simplified regular expression, but \emph{not} for the original

   894 regular expression.

   894 regular expression.

   895 \end{itemize}

   895 \end{itemize}

   896 

   896 

   897 \begin{center}

   897 \begin{center}