# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1572176766 0
# Node ID 83e38043ed7804594a298396fe0b193d39dbf4d5
# Parent  551d018cbbacb80e533908322a33ff1eff107260
updated

diff -r 551d018cbbac -r 83e38043ed78 handouts/ho04.pdf
Binary file handouts/ho04.pdf has changed
diff -r 551d018cbbac -r 83e38043ed78 handouts/ho04.tex
--- a/handouts/ho04.tex	Sun Oct 27 11:31:08 2019 +0000
+++ b/handouts/ho04.tex	Sun Oct 27 11:46:06 2019 +0000
@@ -3,7 +3,7 @@
 \usepackage{../style}
 \usepackage{../langs}
 \usepackage{../graphics}
-
+\usepackage{skull}
 
 \begin{document}
 \fnote{\copyright{} Christian Urban, King's College London, 2014, 2015, 2016, 2017, 2019}
@@ -430,9 +430,11 @@
 the other clauses in $\inj$. 
 
 
-Phew\ldotsSweat\ldots Unfortunately, there is one more problem with the
-described algorithm so far: it is very slow. We need to include in all
-this the simplification from Lecture 2. This is what we shall do next.
+Phew\ldots{}Sweat\ldots!\#@$\skull$\%\ldots Unfortunately, there is
+a gigantic problem with the described algorithm so far: it is very
+slow. We need to include in all this the simplification from Lecture
+2. And what rotten luck: simplification messes things up and we need
+to rectify the mess. This is what we shall do next.
 
 
 \subsubsection*{Simplification}
diff -r 551d018cbbac -r 83e38043ed78 slides/slides04.pdf
Binary file slides/slides04.pdf has changed
diff -r 551d018cbbac -r 83e38043ed78 slides/slides04.tex
--- a/slides/slides04.tex	Sun Oct 27 11:31:08 2019 +0000
+++ b/slides/slides04.tex	Sun Oct 27 11:46:06 2019 +0000
@@ -985,7 +985,7 @@
 \item new regex: \bl{$(x:r)$}\hspace{7mm}new value: \bl{$Rec(x,v)$}\medskip\pause
 
 \item \bl{$nullable(x:r) \dn nullable(r)$}
-\item \bl{$der\,c\,(x:r) \dn (x:der\,c\,r)$}
+\item \bl{$der\,c\,(x:r) \dn der\,c\,r$}
 \item \bl{$mkeps(x:r) \dn Rec(x, mkeps(r))$}
 \item \bl{$inj\,(x:r)\,c\,v \dn Rec(x, inj\,r\,c\,v)$}
 \end{itemize}\bigskip\bigskip\pause
diff -r 551d018cbbac -r 83e38043ed78 slides/slides05.pdf
Binary file slides/slides05.pdf has changed
diff -r 551d018cbbac -r 83e38043ed78 slides/slides05.tex
--- a/slides/slides05.tex	Sun Oct 27 11:31:08 2019 +0000
+++ b/slides/slides05.tex	Sun Oct 27 11:46:06 2019 +0000
@@ -278,9 +278,9 @@
 \item new regex: \bl{$(x:r)$}\hspace{7mm}new value: \bl{$Rec(x,v)$}\medskip\pause
 
 \item \bl{$nullable(x:r) \dn nullable(r)$}
-\item \bl{$der\,c\,(x:r) \dn (x:der\,c\,r)$}
+\item \bl{$der\,c\,(x:r) \dn der\,c\,r$}
 \item \bl{$mkeps(x:r) \dn Rec(x, mkeps(r))$}
-\item \bl{$inj\,(x:r)\,c\,Rec(x, v) \dn Rec(x, inj\,r\,c\,v)$}
+\item \bl{$inj\,(x:r)\,c\,v \dn Rec(x, inj\,r\,c\,v)$}
 \end{itemize}\bigskip\bigskip\pause
 
 \small