Binary file hws/hw01.pdf has changed
Binary file hws/hw02.pdf has changed
Binary file hws/hw03.pdf has changed
--- a/hws/hw03.tex Thu Oct 05 10:31:05 2023 +0100
+++ b/hws/hw03.tex Thu Oct 05 14:36:54 2023 +0100
@@ -118,11 +118,11 @@
\solution{
Before exchanging accepting and non-accepting states, it is important that
- the automaton is completed (meamning has a transition for every letter
+ the automaton is completed (meaning has a transition for every letter
of the alphabet). If not completed, you have to introduce a sink state.
- For fun you can try out the example with
- out completion: Then the original automaton can recognise
+ For fun you can try out the example without
+ completion: Then the original automaton can recognise
strings of the form $a$, $ab...b$; but the ``uncompleted'' automaton would
recognise only the empty string.
}
Binary file hws/hw04.pdf has changed
Binary file hws/hw05.pdf has changed
Binary file hws/hw06.pdf has changed
Binary file hws/hw07.pdf has changed
Binary file hws/hw08.pdf has changed
Binary file hws/hw09.pdf has changed
Binary file slides/slides01.pdf has changed
Binary file slides/slides02.pdf has changed
--- a/slides/slides02.tex Thu Oct 05 10:31:05 2023 +0100
+++ b/slides/slides02.tex Thu Oct 05 14:36:54 2023 +0100
@@ -69,6 +69,12 @@
\end{frame}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+{
+\setbeamercolor{background canvas}{bg=cream}
+\begin{frame}<1-4>[c]
+\end{frame}
+}
+
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\begin{frame}[t]
\frametitle{
@@ -1145,52 +1151,52 @@
\end{frame}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-\begin{frame}[c]
-\begin{mybox3}{}
- der c (r*) def = (der c r) $\cdot$ (r*)\smallskip\\
- Why in the example (slide 19) the first step is:
- der a ((a $\cdot$ b) + b)* = (der a ((a $\cdot$ b) + b)) $\cdot$ r\smallskip\\
- and not\smallskip\\
- der a ((a $\cdot$ b) + b) = (der a ((a $\cdot$ b) + b)) · (r*)
-\end{mybox3}
-\end{frame}
+% begin{frame}[c]
+% \begin{mybox3}{}
+% der c (r*) def = (der c r) $\cdot$ (r*)\smallskip\\
+% Why in the example (slide 19) the first step is:
+% der a ((a $\cdot$ b) + b)* = (der a ((a $\cdot$ b) + b)) $\cdot$ r\smallskip\\
+% and not\smallskip\\
+% der a ((a $\cdot$ b) + b) = (der a ((a $\cdot$ b) + b)) · (r*)
+% \end{mybox3}
+% \end{frame}
-\begin{frame}[c]
-\begin{mybox3}{}
- Would it be possible to find and go over a few examples from the
- Brzozowski Algorithm, as it doesn't seem to be as simple as it
- sounds?
-\end{mybox3}
-\end{frame}
+% \begin{frame}[c]
+% \begin{mybox3}{}
+% Would it be possible to find and go over a few examples from the
+% Brzozowski Algorithm, as it doesn't seem to be as simple as it
+% sounds?
+% \end{mybox3}
+% \end{frame}
-\begin{frame}[c]
-\begin{mybox3}{}
- Is it possible to make a visual example of how using simp() function
- on a (a*)*.b regular expression reduces its runtime? If not it's
- fine. I am just very surprised that it is so efficient.
-\end{mybox3}
-\end{frame}
+% \begin{frame}[c]
+% \begin{mybox3}{}
+% Is it possible to make a visual example of how using simp() function
+% on a (a*)*.b regular expression reduces its runtime? If not it's
+% fine. I am just very surprised that it is so efficient.
+% \end{mybox3}
+% \end{frame}
-\begin{frame}[c]
-\begin{mybox3}{}
- Do you think the algorithm can be still improved (made faster)?
-\end{mybox3}
-\end{frame}
+% \begin{frame}[c]
+% \begin{mybox3}{}
+% Do you think the algorithm can be still improved (made faster)?
+% \end{mybox3}
+% \end{frame}
-\begin{frame}[c]
-\begin{mybox3}{}
- Do the regular expression matchers in Python and Java 8 have more
- features than the one implemented in this module? Or is there
- another reason for their inefficiency?
-\end{mybox3}
-\end{frame}
+% \begin{frame}[c]
+% \begin{mybox3}{}
+% Do the regular expression matchers in Python and Java 8 have more
+% features than the one implemented in this module? Or is there
+% another reason for their inefficiency?
+% \end{mybox3}
+% \end{frame}
-\begin{frame}[c]
-\begin{mybox3}{}
- Will we discuss the broader Chomsky hierarchy of languages at some
- point?
-\end{mybox3}
-\end{frame}
+% \begin{frame}[c]
+% \begin{mybox3}{}
+% Will we discuss the broader Chomsky hierarchy of languages at some
+% point?
+% \end{mybox3}
+% \end{frame}
\begin{frame}<1-8>[c]
\end{frame}
Binary file slides/slides03.pdf has changed
--- a/slides/slides03.tex Thu Oct 05 10:31:05 2023 +0100
+++ b/slides/slides03.tex Thu Oct 05 14:36:54 2023 +0100
@@ -35,7 +35,7 @@
\begin{center}
\begin{tabular}{ll}
Email: & christian.urban at kcl.ac.uk\\
- Office Hour: & Fridays 11 -- 12\\
+Office Hour: & Thurdays 15 -- 16\\
Location: & N7.07 (North Wing, Bush House)\\
Slides \& Progs: & KEATS\\
Pollev: & \texttt{\alert{https://pollev.com/cfltutoratki576}}\\
Binary file slides/slides04.pdf has changed
--- a/slides/slides04.tex Thu Oct 05 10:31:05 2023 +0100
+++ b/slides/slides04.tex Thu Oct 05 14:36:54 2023 +0100
@@ -38,8 +38,8 @@
\normalsize
\begin{center}
\begin{tabular}{ll}
- Email: & christian.urban at kcl.ac.uk\\
- Office Hour: & Fridays 11 -- 12\\
+ Email: & christian.urban at kcl.ac.uk\\
+ Office Hour: & Thurdays 15 -- 16\\
Location: & N7.07 (North Wing, Bush House)\\
Slides \& Progs: & KEATS\\
Pollev: & \texttt{\alert{https://pollev.com/cfltutoratki576}}\\
Binary file slides/slides05.pdf has changed
--- a/slides/slides05.tex Thu Oct 05 10:31:05 2023 +0100
+++ b/slides/slides05.tex Thu Oct 05 14:36:54 2023 +0100
@@ -38,7 +38,7 @@
\begin{center}
\begin{tabular}{ll}
Email: & christian.urban at kcl.ac.uk\\
- Office Hour: & Fridays 11 -- 12\\
+Office Hour: & Thurdays 15 -- 16\\
Location: & N7.07 (North Wing, Bush House)\\
Slides \& Progs: & KEATS\\
Pollev: & \texttt{\alert{https://pollev.com/cfltutoratki576}}\\
Binary file slides/slides06.pdf has changed
--- a/slides/slides06.tex Thu Oct 05 10:31:05 2023 +0100
+++ b/slides/slides06.tex Thu Oct 05 14:36:54 2023 +0100
@@ -35,8 +35,8 @@
\normalsize
\begin{center}
\begin{tabular}{ll}
- Email: & christian.urban at kcl.ac.uk\\
- Office Hour: & Fridays 11 -- 12\\
+ Email: & christian.urban at kcl.ac.uk\\
+ Office Hour: & Thurdays 15 -- 16\\
Location: & N7.07 (North Wing, Bush House)\\
Slides \& Progs: & KEATS\\
Pollev: & \texttt{\alert{https://pollev.com/cfltutoratki576}}\\
Binary file slides/slides07.pdf has changed
--- a/slides/slides07.tex Thu Oct 05 10:31:05 2023 +0100
+++ b/slides/slides07.tex Thu Oct 05 14:36:54 2023 +0100
@@ -25,8 +25,8 @@
\normalsize
\begin{center}
\begin{tabular}{ll}
- Email: & christian.urban at kcl.ac.uk\\
- Office Hour: & Fridays 11 -- 12\\
+ Email: & christian.urban at kcl.ac.uk\\
+ Office Hour: & Thurdays 15 -- 16\\
Location: & N7.07 (North Wing, Bush House)\\
Slides \& Progs: & KEATS\\
Pollev: & \texttt{\alert{https://pollev.com/cfltutoratki576}}\\
Binary file slides/slides08.pdf has changed
--- a/slides/slides08.tex Thu Oct 05 10:31:05 2023 +0100
+++ b/slides/slides08.tex Thu Oct 05 14:36:54 2023 +0100
@@ -40,8 +40,8 @@
\normalsize
\begin{center}
\begin{tabular}{ll}
- Email: & christian.urban at kcl.ac.uk\\
- Office Hour: & Fridays 11 -- 12\\
+ Email: & christian.urban at kcl.ac.uk\\
+ Office Hour: & Thurdays 15 -- 16\\
Location: & N7.07 (North Wing, Bush House)\\
Slides \& Progs: & KEATS\\
Pollev: & \texttt{\alert{https://pollev.com/cfltutoratki576}}\\
Binary file slides/slides09.pdf has changed
--- a/slides/slides09.tex Thu Oct 05 10:31:05 2023 +0100
+++ b/slides/slides09.tex Thu Oct 05 14:36:54 2023 +0100
@@ -28,8 +28,8 @@
\normalsize
\begin{center}
\begin{tabular}{ll}
- Email: & christian.urban at kcl.ac.uk\\
- Office Hour: & Fridays 11 -- 12\\
+ Email: & christian.urban at kcl.ac.uk\\
+Office Hour: & Thurdays 15 -- 16\\
Location: & N7.07 (North Wing, Bush House)\\
Slides \& Progs: & KEATS\\
Pollev: & \texttt{\alert{https://pollev.com/cfltutoratki576}}\\
Binary file slides/slides10.pdf has changed
--- a/slides/slides10.tex Thu Oct 05 10:31:05 2023 +0100
+++ b/slides/slides10.tex Thu Oct 05 14:36:54 2023 +0100
@@ -51,8 +51,8 @@
\normalsize
\begin{center}
\begin{tabular}{ll}
- Email: & christian.urban at kcl.ac.uk\\
- Office Hour: & Fridays 11 -- 12\\
+ Email: & christian.urban at kcl.ac.uk\\
+ Office Hour: & Thurdays 15 -- 16\\
Location: & N7.07 (North Wing, Bush House)\\
Slides \& Progs: & KEATS\\
Pollev: & \texttt{\alert{https://pollev.com/cfltutoratki576}}\\
Binary file slides/slides11.pdf has changed
Binary file slides/slides12.pdf has changed