# HG changeset patch # User Christian Urban # Date 1696513014 -3600 # Node ID 46eee459a999f64a01ab194c8c67cacf171e76c0 # Parent f85e784d3014903a9788378e0400a2a54c8ddb85 updated diff -r f85e784d3014 -r 46eee459a999 hws/hw01.pdf Binary file hws/hw01.pdf has changed diff -r f85e784d3014 -r 46eee459a999 hws/hw02.pdf Binary file hws/hw02.pdf has changed diff -r f85e784d3014 -r 46eee459a999 hws/hw03.pdf Binary file hws/hw03.pdf has changed diff -r f85e784d3014 -r 46eee459a999 hws/hw03.tex --- 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. } diff -r f85e784d3014 -r 46eee459a999 hws/hw04.pdf Binary file hws/hw04.pdf has changed diff -r f85e784d3014 -r 46eee459a999 hws/hw05.pdf Binary file hws/hw05.pdf has changed diff -r f85e784d3014 -r 46eee459a999 hws/hw06.pdf Binary file hws/hw06.pdf has changed diff -r f85e784d3014 -r 46eee459a999 hws/hw07.pdf Binary file hws/hw07.pdf has changed diff -r f85e784d3014 -r 46eee459a999 hws/hw08.pdf Binary file hws/hw08.pdf has changed diff -r f85e784d3014 -r 46eee459a999 hws/hw09.pdf Binary file hws/hw09.pdf has changed diff -r f85e784d3014 -r 46eee459a999 slides/slides01.pdf Binary file slides/slides01.pdf has changed diff -r f85e784d3014 -r 46eee459a999 slides/slides02.pdf Binary file slides/slides02.pdf has changed diff -r f85e784d3014 -r 46eee459a999 slides/slides02.tex --- 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} diff -r f85e784d3014 -r 46eee459a999 slides/slides03.pdf Binary file slides/slides03.pdf has changed diff -r f85e784d3014 -r 46eee459a999 slides/slides03.tex --- 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}}\\ diff -r f85e784d3014 -r 46eee459a999 slides/slides04.pdf Binary file slides/slides04.pdf has changed diff -r f85e784d3014 -r 46eee459a999 slides/slides04.tex --- 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}}\\ diff -r f85e784d3014 -r 46eee459a999 slides/slides05.pdf Binary file slides/slides05.pdf has changed diff -r f85e784d3014 -r 46eee459a999 slides/slides05.tex --- 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}}\\ diff -r f85e784d3014 -r 46eee459a999 slides/slides06.pdf Binary file slides/slides06.pdf has changed diff -r f85e784d3014 -r 46eee459a999 slides/slides06.tex --- 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}}\\ diff -r f85e784d3014 -r 46eee459a999 slides/slides07.pdf Binary file slides/slides07.pdf has changed diff -r f85e784d3014 -r 46eee459a999 slides/slides07.tex --- 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}}\\ diff -r f85e784d3014 -r 46eee459a999 slides/slides08.pdf Binary file slides/slides08.pdf has changed diff -r f85e784d3014 -r 46eee459a999 slides/slides08.tex --- 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}}\\ diff -r f85e784d3014 -r 46eee459a999 slides/slides09.pdf Binary file slides/slides09.pdf has changed diff -r f85e784d3014 -r 46eee459a999 slides/slides09.tex --- 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}}\\ diff -r f85e784d3014 -r 46eee459a999 slides/slides10.pdf Binary file slides/slides10.pdf has changed diff -r f85e784d3014 -r 46eee459a999 slides/slides10.tex --- 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}}\\ diff -r f85e784d3014 -r 46eee459a999 slides/slides11.pdf Binary file slides/slides11.pdf has changed diff -r f85e784d3014 -r 46eee459a999 slides/slides12.pdf Binary file slides/slides12.pdf has changed