347      \item A \alert{state} is a list of events 

   347      \item A \alert{state} is a list of events 

   348   \end{itemize}

   348   \end{itemize}

   349 

   349 

   350   \pause

   350   \pause

   351 

   351 

   355 

   355 

   356   \end{frame}}

   356   \end{frame}}

   357   %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%     

   357   %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%     

   358 

   358 

   359 *}

   359 *}