580 \caption{The simplification function that returns a simplified 

   580 \caption{The simplification function that returns a simplified 

   581 regular expression and a rectification function.\label{simp}}

   581 regular expression and a rectification function.\label{simp}}

   582 \end{figure}

   582 \end{figure}

   583 

   583 

   584 \begin{figure}[p]

   584 \begin{figure}[p]

   585 \lstinputlisting[numbers=left,linebackgroundcolor=

   586 \lstinputlisting[numbers=left,linebackgroundcolor=

   586    {\ifodd\value{lstnumber}\color{capri!3}\fi}]{../progs/app61.scala}

   587    {\ifodd\value{lstnumber}\color{capri!3}\fi}]{../progs/app61.scala}

   587 

   588 

   588 \caption{The Scala code for the simplification function. The

   589 \caption{The Scala code for the simplification function. The

   589 first part defines some auxillary functions for the rectification.

   590 first part defines some auxillary functions for the rectification.