diff -r 9353308f1c6a -r 1933e88cb73e handouts/ho01.tex
--- a/handouts/ho01.tex	Fri Sep 27 10:53:29 2013 +0100
+++ b/handouts/ho01.tex	Fri Sep 27 11:01:31 2013 +0100
@@ -220,8 +220,9 @@
 $\sim{}r$ in the definition or regular expressions. Whenever we do so, we will state it explicitly.
 
 So far we have only considered informally what the \emph{meaning} of a regular expression is.  
-Formally, we associate with every regular expression a set of strings which are matched by this
-regular expression. This can be formally defined as 
+To do so more formally we will associate with every regular expression a set of strings 
+that is supposed to be  are matched by this
+regular expression. This can be defined recursively  as follows
 
 \begin{center}
 \begin{tabular}{rcl}