equal
deleted
inserted
replaced
558 |
558 |
559 \begin{figure}[p] |
559 \begin{figure}[p] |
560 \lstinputlisting{../progs/app6.scala} |
560 \lstinputlisting{../progs/app6.scala} |
561 \caption{The simplification function and modified |
561 \caption{The simplification function and modified |
562 \texttt{ders}-function; this function now |
562 \texttt{ders}-function; this function now |
563 calls \texttt{der} first, but then tries to simplify |
563 calls \texttt{der} first, but then simplifies |
564 the resulting derivative regular expressions.\label{scala2}} |
564 the resulting derivative regular expressions, see |
|
565 Line~28.\label{scala2}} |
565 \end{figure} |
566 \end{figure} |
566 |
567 |
567 \begin{center} |
568 \begin{center} |
568 \begin{tikzpicture} |
569 \begin{tikzpicture} |
569 \begin{axis}[xlabel={\pcode{a}s},ylabel={time in secs}, |
570 \begin{axis}[xlabel={\pcode{a}s},ylabel={time in secs}, |