# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1380276091 -3600
# Node ID 1933e88cb73e071fdfe87589e47907357a86e483
# Parent  9353308f1c6a5dec0d90127e86b8238e7ce107c2
added

diff -r 9353308f1c6a -r 1933e88cb73e handouts/ho01.pdf
Binary file handouts/ho01.pdf has changed
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}