equal
deleted
inserted
replaced
613 \end{axis} |
613 \end{axis} |
614 \end{tikzpicture} |
614 \end{tikzpicture} |
615 \end{tabular} |
615 \end{tabular} |
616 \end{center} |
616 \end{center} |
617 |
617 |
618 %\end{document} |
618 \end{document} |
619 \newpage |
619 \newpage |
620 |
620 |
621 \noindent |
621 \noindent |
622 For the calculation below, I prefer to use the more ``mathematical'' |
622 For the calculation below, I prefer to use the more ``mathematical'' |
623 notation for regular expressions. Therefore let us first look at this |
623 notation for regular expressions. Therefore let us first look at this |