
diff -r 70c307641d05 -r 1e4da6d2490c handouts/ho01.tex
--- a/handouts/ho01.tex	Mon Sep 22 13:42:14 2014 +0100
+++ b/handouts/ho01.tex	Fri Sep 26 14:06:55 2014 +0100
@@ -160,7 +160,7 @@
      \draw (1pt,\y) -- (-3pt,\y) node[anchor=east] {\y}; 
 	%labels      
 	\node[below=0.6cm] at (x axis mid) {number of \texttt{a}s};
-	\node[rotate=90,above=0.8cm] at (y axis mid) {time in secs};
+	\node[rotate=90,left=0.9cm] at (y axis mid) {time in secs};
 	%plots
 	\draw[color=blue] plot[mark=*] 
 		file {re-python.data};
@@ -222,7 +222,7 @@
      	\draw (1pt,\y) -- (-3pt,\y) node[anchor=east] {\y}; 
 	%labels      
 	\node[below=0.6cm] at (x axis mid) {number of \texttt{a}s};
-	\node[rotate=90, above=0.8cm] at (y axis mid) {time in secs};
+	\node[rotate=90,left=0.9cm] at (y axis mid) {time in secs};
 
 	%plots
    \draw[color=green] plot[mark=square*, mark options={fill=white} ] 
@@ -247,7 +247,7 @@
 \begin{center}
 \begin{tabular}{r@{\hspace{1mm}}r@{\hspace{1mm}}l@{\hspace{13mm}}l}
   $r$ & $::=$ &   $\varnothing$         & null\\
-        & $\mid$ & $\epsilon$           & empty string / "" / []\\
+        & $\mid$ & $\epsilon$           & empty string / \texttt{""} / []\\
         & $\mid$ & $c$                  & single character\\
         & $\mid$ & $r_1 + r_2$          & alternative / choice\\
         & $\mid$ & $r_1 \cdot r_2$      & sequence\\
@@ -444,7 +444,7 @@
 \varnothing^* \equiv \epsilon^*
 \]
 
-\noindent holds. Such equivalences will be important for our
+\noindent holds? Such equivalences will be important for our
 matching algorithm, because we can use them to simplify 
 regular expressions. 
 




