--- 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}