# HG changeset patch
# User Christian Urban <christian.urban@kcl.ac.uk>
# Date 1664657252 -3600
# Node ID bc04fc576896da0249c86dfd2292afe404ff9cb9
# Parent  ad9d4a01e072f55d18dc569bed01eaf8dbdbe950
updated

diff -r ad9d4a01e072 -r bc04fc576896 hws/hw02.pdf
Binary file hws/hw02.pdf has changed
diff -r ad9d4a01e072 -r bc04fc576896 hws/hw02.tex
--- a/hws/hw02.tex	Fri Sep 30 06:03:46 2022 +0100
+++ b/hws/hw02.tex	Sat Oct 01 21:47:32 2022 +0100
@@ -48,7 +48,7 @@
       Compute what the derivative of $r$ is with respect to
       $a$, $b$ and $c$. Is $r$ nullable?
 
-\item (Moved to HW3)
+\item Prove that if $r$ is nullable then $r^{\{n\}} \equiv r^{\{..n\}}$.
   
 \item Define what is meant by the derivative of a regular
       expressions with respect to a character. (Hint: The
diff -r ad9d4a01e072 -r bc04fc576896 slides/slides01.pdf
Binary file slides/slides01.pdf has changed
diff -r ad9d4a01e072 -r bc04fc576896 slides/slides01.tex
--- a/slides/slides01.tex	Fri Sep 30 06:03:46 2022 +0100
+++ b/slides/slides01.tex	Sat Oct 01 21:47:32 2022 +0100
@@ -58,22 +58,23 @@
   \begin{tabular}{@ {}c@ {}}
   \\[-3mm]
   \LARGE Compilers and \\[-1mm] 
-  \LARGE Formal Languages\\[-3mm] 
+  \LARGE Formal Languages\\[-5mm] 
   \end{tabular}}
 
-  \begin{center}
+  %\begin{center}
   %\includegraphics[scale=0.3]{pics/ante1.jpg}\hspace{5mm}
   %\includegraphics[scale=0.31]{pics/ante2.jpg}\\
   %\footnotesize\textcolor{gray}{Antikythera automaton, 100 BC (Archimedes?)}
-  \end{center}
+  %\end{center}
 
   \normalsize
   \begin{center}
   \begin{tabular}{ll}
   Email:  & christian.urban at kcl.ac.uk\\
-  %Office Hours: & Thursdays 12 -- 14\\
-  %Location: & N7.07 (North Wing, Bush House)\\
+  Office Hour: & Fridays 11 -- 12\\
+  Location: & N7.07 (North Wing, Bush House)\\
   Slides \& Progs: & KEATS\\
+  Pollev: & \texttt{\alert{https://pollev.com/cfltutoratki576}}\\  
   \end{tabular}
   \end{center}
 
@@ -477,7 +478,7 @@
 \begin{frame}[c]
 \frametitle{Homework}
 
-Last year(s): I did not give out solutions; students sent emails to me and I marked them individually\bigskip\\
+Last year(s): I did not give out solutions; students sent emails to me and I responded them individually\bigskip\\
 
 
 This year: We will do homework mainly during the Labs (TAs have the solutions)\bigskip\\\pause