
diff -r 4a1739f256fd -r 711bbc480998 handouts/ho03.tex
--- a/handouts/ho03.tex	Fri Oct 05 11:07:57 2018 +0100
+++ b/handouts/ho03.tex	Mon Oct 08 11:35:04 2018 +0100
@@ -1536,38 +1536,38 @@
 
 Still to be done\bigskip
 
-\noindent
-By now you are probably fed up with this text. It is now way too long
-for one lecture, but there is still one aspect of the
-automata-regular-expression-connection I like to describe. Perhaps by
-now you are asking yourself: Where have the derivatives gone? Did we
-just forget them?  Well, they have a place in the picture of
-calculating a DFA from the regular expression.
-
-To be done
+%\noindent
+%By now you are probably fed up with this text. It is now way too long
+%for one lecture, but there is still one aspect of the
+%automata-regular-expression-connection I like to describe. Perhaps by
+%now you are asking yourself: Where have the derivatives gone? Did we
+%just forget them?  Well, they have a place in the picture of
+%calculating a DFA from the regular expression.
 
-\begin{center}
-\begin{tikzpicture}
-  [level distance=25mm,very thick,auto,
-   level 1/.style={sibling distance=30mm},
-   level 2/.style={sibling distance=15mm},
-   every node/.style={minimum size=30pt,
-                    inner sep=0pt,circle,draw=blue!50,very thick,
-                    fill=blue!20}]
-  \node {$r$} [grow=right]
-  child[->] {node (cn) {$d_{c_n}$}
-    child { node {$dd_{c_nc_n}$}}
-    child { node {$dd_{c_nc_1}$}}
-    %edge from parent node[left] {$c_n$}
-  }
-  child[->] {node (c1) {$d_{c_1}$}
-    child { node {$dd_{c_1c_n}$}}
-    child { node {$dd_{c_1c_1}$}}
-    %edge from parent node[left] {$c_1$}
-  };
-  %%\draw (cn) -- (c1) node {\vdots}; 
-\end{tikzpicture}  
-\end{center}
+%To be done
+%
+%\begin{center}
+%\begin{tikzpicture}
+%  [level distance=25mm,very thick,auto,
+%   level 1/.style={sibling distance=30mm},
+%   level 2/.style={sibling distance=15mm},
+%   every node/.style={minimum size=30pt,
+%                    inner sep=0pt,circle,draw=blue!50,very thick,
+%                    fill=blue!20}]
+%  \node {$r$} [grow=right]
+%  child[->] {node (cn) {$d_{c_n}$}
+%    child { node {$dd_{c_nc_n}$}}
+%    child { node {$dd_{c_nc_1}$}}
+%    %edge from parent node[left] {$c_n$}
+%  }
+%  child[->] {node (c1) {$d_{c_1}$}
+%    child { node {$dd_{c_1c_n}$}}
+%    child { node {$dd_{c_1c_1}$}}
+%    %edge from parent node[left] {$c_1$}
+%  };
+%  %%\draw (cn) -- (c1) node {\vdots}; 
+%\end{tikzpicture}  
+%\end{center}
 
 %\section*{Further Reading}
 




