268 \end{textblock} |
268 \end{textblock} |
269 |
269 |
270 \end{frame} |
270 \end{frame} |
271 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
271 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
272 |
272 |
|
273 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
|
274 \begin{frame}[c] |
|
275 \frametitle{\begin{tabular}{c}\\[3cm]\huge\alert{Questions?}\end{tabular}} |
|
276 |
|
277 \bigskip |
|
278 homework (written exam 80\%)\\ |
|
279 coursework (20\%; first one today)\\ |
|
280 submission Fridays @ 18:00 -- accepted Mondays |
|
281 \mbox{} |
|
282 \end{frame} |
|
283 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
|
284 |
|
285 |
273 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
286 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
274 \begin{frame}[t] |
287 \begin{frame}[t] |
275 \frametitle{Semantic Derivative\\[5mm]} |
288 \frametitle{Semantic Derivative\\[5mm]} |
276 |
289 |
277 |
290 |
876 \item we can prove its correctness\ldots |
889 \item we can prove its correctness\ldots |
877 \end{itemize} |
890 \end{itemize} |
878 |
891 |
879 \end{frame} |
892 \end{frame} |
880 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
893 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
|
894 |
|
895 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
|
896 \begin{frame}[c] |
|
897 \frametitle{Negation of Regular Expr's} |
|
898 |
|
899 \begin{itemize} |
|
900 \item \bl{$\sim{}r$} \hspace{6mm} (everything that \bl{$r$} cannot recognise)\medskip |
|
901 \item \bl{$L(\sim{}r) \dn UNIV - L(r)$}\medskip |
|
902 \item \bl{$nullable (\sim{}r) \dn not\, (nullable(r))$}\medskip |
|
903 \item \bl{$der\,c\,(\sim{}r) \dn \;\sim{}(der\,c\,r)$} |
|
904 \end{itemize}\bigskip\pause |
|
905 |
|
906 Used often for recognising comments: |
|
907 |
|
908 \[ |
|
909 \bl{/ \cdot * \cdot (\sim{}([a\mbox{-}z]^* \cdot * \cdot / \cdot [a\mbox{-}z]^*)) \cdot * \cdot /} |
|
910 \] |
|
911 |
|
912 \end{frame} |
|
913 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
|
914 |
|
915 |
|
916 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
|
917 \begin{frame}[c] |
|
918 \frametitle{Coursework} |
|
919 |
|
920 \underline{Strand 1:} |
|
921 |
|
922 \begin{itemize} |
|
923 \item Submission on Friday 12 October\\accepted until Monday 15 @ 18:00\medskip |
|
924 \item source code needs to be submitted as well\medskip |
|
925 \item you can re-use my Scala code from KEATS \\ |
|
926 or use any programming language you like\medskip |
|
927 \item \small https://nms.kcl.ac.uk/christian.urban/ProgInScala2ed.pdf\normalsize |
|
928 \end{itemize} |
|
929 |
|
930 \end{frame} |
|
931 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
|
932 |
881 |
933 |
882 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
934 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
883 \begin{frame}[t] |
935 \begin{frame}[t] |
884 \frametitle{Proofs about Rexps} |
936 \frametitle{Proofs about Rexps} |
885 |
937 |