# HG changeset patch
# User Christian Urban <christian.urban@kcl.ac.uk>
# Date 1601412772 -3600
# Node ID 34f77b976b88a422588ce0ebfe3f1d80fa72f152
# Parent  bdd12391d345d7fec696b041d83b90c51df56863
updated

diff -r bdd12391d345 -r 34f77b976b88 hws/hw01.pdf
Binary file hws/hw01.pdf has changed
diff -r bdd12391d345 -r 34f77b976b88 hws/hw02.pdf
Binary file hws/hw02.pdf has changed
diff -r bdd12391d345 -r 34f77b976b88 hws/hw02.tex
--- a/hws/hw02.tex	Tue Sep 29 19:35:11 2020 +0100
+++ b/hws/hw02.tex	Tue Sep 29 21:52:52 2020 +0100
@@ -62,7 +62,7 @@
       expressions with respect to a character. (Hint: The
       derivative is defined recursively.)
 
-\item Assume the set $Der$ is defined as
+\item  Assume the set $Der$ is defined as
 
   \begin{center}
     $Der\,c\,A \dn \{ s \;|\;  c\!::\!s \in A\}$
diff -r bdd12391d345 -r 34f77b976b88 hws/hw03.pdf
Binary file hws/hw03.pdf has changed
diff -r bdd12391d345 -r 34f77b976b88 hws/hw04.pdf
Binary file hws/hw04.pdf has changed
diff -r bdd12391d345 -r 34f77b976b88 hws/hw04.tex
--- a/hws/hw04.tex	Tue Sep 29 19:35:11 2020 +0100
+++ b/hws/hw04.tex	Tue Sep 29 21:52:52 2020 +0100
@@ -41,7 +41,13 @@
   In case they can, can you give the corresponding token
   sequences.
 
-\item Assume that $s^{-1}$ stands for the operation of reversing a
+\item Assume $r$ is nullable. Show that
+  \[ 1 + r + r\cdot r \;\equiv\; r\cdot r
+  \]
+
+  holds.
+
+\item \textbf{(Deleted)} Assume that $s^{-1}$ stands for the operation of reversing a
   string $s$. Given the following \emph{reversing} function on regular
   expressions
 
diff -r bdd12391d345 -r 34f77b976b88 hws/hw05.pdf
Binary file hws/hw05.pdf has changed
diff -r bdd12391d345 -r 34f77b976b88 hws/hw06.pdf
Binary file hws/hw06.pdf has changed
diff -r bdd12391d345 -r 34f77b976b88 hws/hw07.pdf
Binary file hws/hw07.pdf has changed
diff -r bdd12391d345 -r 34f77b976b88 hws/hw08.pdf
Binary file hws/hw08.pdf has changed
diff -r bdd12391d345 -r 34f77b976b88 hws/hw09.pdf
Binary file hws/hw09.pdf has changed
diff -r bdd12391d345 -r 34f77b976b88 hws/proof.pdf
Binary file hws/proof.pdf has changed
diff -r bdd12391d345 -r 34f77b976b88 progs/pow.scala
--- a/progs/pow.scala	Tue Sep 29 19:35:11 2020 +0100
+++ b/progs/pow.scala	Tue Sep 29 21:52:52 2020 +0100
@@ -63,7 +63,9 @@
 pow(B, 4)
 pow(B, 4).size
 
-
+val C = Set("a", "")
+pow(C, 4)
+pow(C, 4).size
 
 val SA = Set("a", "b", "c", "d")
 val SB = Set("0", "1", "2", "3", "4", "5", "6")