Binary file hws/hw04.pdf has changed

--- a/hws/hw04.tex	Mon Oct 19 23:49:25 2015 +0100
+++ b/hws/hw04.tex	Tue Oct 20 00:01:56 2015 +0100
@@ -79,7 +79,7 @@
 Does simplification always preserve the meaning of a regular
 expression? 
      
-\item The Sulzmann algorithm contains the function $mkeps$
+\item The Sulzmann \& Lu algorithm contains the function $mkeps$
       which answers how a regular expression can match the
       empty string. What is the answer of $mkeps$ for the
       regular expressions:    
@@ -93,7 +93,7 @@
   \]
 
 \item What is the purpose of the record regular expression
-  in the Sulzmann algorithm?
+  in the Sulzmann \& Lu algorithm?
   
   
 %\item (Optional) The tokenizer in \texttt{regexp3.scala} takes as

Binary file hws/hw05.pdf has changed

--- a/hws/hw05.tex	Mon Oct 19 23:49:25 2015 +0100
+++ b/hws/hw05.tex	Tue Oct 20 00:01:56 2015 +0100
@@ -11,6 +11,9 @@
 
 \section*{Homework 5}
 
+\HEADER
+
+
 \begin{enumerate}
 \item Consider the basic regular expressions
 

Binary file hws/hw06.pdf has changed

--- a/hws/hw06.tex	Mon Oct 19 23:49:25 2015 +0100
+++ b/hws/hw06.tex	Tue Oct 20 00:01:56 2015 +0100
@@ -6,6 +6,8 @@
 
 \section*{Homework 6}
 
+\HEADER
+
 \begin{enumerate}
 \item (i) Give the regular expressions for lexing a language
 consisting of whitespaces, identifiers (some letters followed by digits), numbers,

Binary file hws/hw07.pdf has changed

--- a/hws/hw07.tex	Mon Oct 19 23:49:25 2015 +0100
+++ b/hws/hw07.tex	Tue Oct 20 00:01:56 2015 +0100
@@ -5,6 +5,8 @@
 
 \section*{Homework 7}
 
+\HEADER
+
 \begin{enumerate}
 \item Suppose the context-sensitive grammar
 

Binary file hws/hw08.pdf has changed

--- a/hws/hw08.tex	Mon Oct 19 23:49:25 2015 +0100
+++ b/hws/hw08.tex	Tue Oct 20 00:01:56 2015 +0100
@@ -6,6 +6,8 @@
 
 \section*{Homework 8}
 
+\HEADER
+
 \begin{enumerate}
 \item Write a program in the WHILE-language that calculates
       the factorial function.

Binary file hws/hw09.pdf has changed

--- a/hws/hw09.tex	Mon Oct 19 23:49:25 2015 +0100
+++ b/hws/hw09.tex	Tue Oct 20 00:01:56 2015 +0100
@@ -6,6 +6,8 @@
 
 \section*{Homework 9}
 
+\HEADER
+
 \begin{enumerate}
 \item Describe what is meant by \emph{eliminating tail
       recursion}, when such an optimization can be applied and