# HG changeset patch # User cu # Date 1508320964 -3600 # Node ID 11d6c66e7edf89dbc18f0a4b6d72943d1e3e454f # Parent fa5c34e42a35f272c61c19aabcbe33ed9f0095fe updated diff -r fa5c34e42a35 -r 11d6c66e7edf slides/slides04.pdf Binary file slides/slides04.pdf has changed diff -r fa5c34e42a35 -r 11d6c66e7edf slides/slides04.tex --- a/slides/slides04.tex Wed Oct 18 08:36:44 2017 +0100 +++ b/slides/slides04.tex Wed Oct 18 11:02:44 2017 +0100 @@ -889,7 +889,7 @@ \frametitle{Simplification} \begin{itemize} -\item If we simplify after the derivative, then we are builing the +\item If we simplify after the derivative, then we are building the value for the simplified regular expression, but \emph{not} for the original regular expression. \end{itemize}