78 % Please get in contact if you intend to do CW Strand 2. No zips please. |
78 % Please get in contact if you intend to do CW Strand 2. No zips please. |
79 % Give definitions also on paper if asked. BTW, simp |
79 % Give definitions also on paper if asked. BTW, simp |
80 % can stay unchanged. Use \texttt{ders} for CW2, not \texttt{ders2}! |
80 % can stay unchanged. Use \texttt{ders} for CW2, not \texttt{ders2}! |
81 % \end{frame} |
81 % \end{frame} |
82 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
82 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
83 |
83 |
|
84 { |
|
85 \setbeamercolor{background canvas}{bg=cream} |
|
86 \begin{frame}<1-10>[c] |
|
87 \end{frame} |
|
88 |
|
89 |
|
90 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
|
91 \begin{frame}[c] |
|
92 \frametitle{Coursework 1: Submissions} |
|
93 |
|
94 \begin{itemize} |
|
95 \item Scala (162) |
|
96 \item Ocaml (1) |
|
97 \item Java (1) \ldots uses new features of Java 21 |
|
98 \item Rust (6) |
|
99 \end{itemize}\bigskip\bigskip |
|
100 |
|
101 |
|
102 \end{frame} |
|
103 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
|
104 } |
|
105 |
|
106 |
84 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
107 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
85 \begin{frame}[t] |
108 \begin{frame}[t] |
86 \frametitle{Parser} |
109 \frametitle{Parser} |
87 \mbox{}\\[-16mm]\mbox{} |
110 \mbox{}\\[-16mm]\mbox{} |
88 |
111 |
152 \end{itemize} |
175 \end{itemize} |
153 |
176 |
154 \end{frame} |
177 \end{frame} |
155 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
178 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
156 |
179 |
|
180 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
|
181 { |
|
182 \setbeamercolor{background canvas}{bg=cream} |
|
183 \begin{frame}[c] |
|
184 |
|
185 \begin{center} |
|
186 \begin{tikzpicture}[scale=1.5,>=stealth',very thick, |
|
187 every state/.style={minimum size=0pt, |
|
188 draw=blue!50,very thick,fill=blue!20}] |
|
189 \node[state,initial] (q0) at (0,2) {$q_0$}; |
|
190 \node[state,accepting] (q1) at (2,2) {$q_1$}; |
|
191 \node[state] (q2) at (0,0) {$q_2$}; |
|
192 \node[state] (q3) at (2,0) {$q_3$}; |
|
193 |
|
194 \path[->] (q0) edge[bend left] node[above] {\alert{$a$}} (q1) |
|
195 (q1) edge[bend left] node[above] {\alert{$a$}} (q0) |
|
196 (q2) edge[bend left] node[above] {\alert{$a$}} (q3) |
|
197 (q3) edge[bend left] node[above] {\alert{$a$}} (q2) |
|
198 (q0) edge[bend left] node[right] {\alert{$b$}} (q2) |
|
199 (q2) edge[bend left] node[left] {\alert{$b$}} (q0) |
|
200 (q1) edge[bend left] node[right] {\alert{$b$}} (q3) |
|
201 (q3) edge[bend left] node[left] {\alert{$b$}} (q1); |
|
202 \end{tikzpicture} |
|
203 \end{center} |
|
204 |
|
205 \hfill{}Which language? |
|
206 |
|
207 \end{frame} |
|
208 } |
|
209 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
157 |
210 |
158 |
211 |
159 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
212 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
160 \begin{frame}[c] |
213 \begin{frame}[c] |
161 \frametitle{Regular Languages} |
214 \frametitle{Regular Languages} |
636 |
689 |
637 \begin{frame}<1-24>[c] |
690 \begin{frame}<1-24>[c] |
638 \end{frame} |
691 \end{frame} |
639 |
692 |
640 |
693 |
|
694 \begin{frame}[t] |
|
695 \begin{minipage}{1.2\textwidth} |
|
696 \begin{mybox3}{}\small |
|
697 \textbf{Questions regarding CFL CW1} |
|
698 |
|
699 Dear Dr Urban |
|
700 |
|
701 Regarding CW1, I am stuck on finding the nullable and derivative rules for some important regexes.\smallskip |
|
702 |
|
703 The NOT Regex nullable rule: I am not sure how to approach this, I am inclined to simply put this as the negation of the nullable function on the input regex (e.g !nullable(r)). However I have found instances where negating a nullable does not make it un-nullable. For example the negation of r* can still match regex ab (which is not nullable). So I would like some actual clarification, pointers and help in this area.\smallskip |
|
704 |
|
705 The NOT Regex derivation rule: again I am dumbfounded here, I am inclined to think that I should derive the regex and then negate that derivation. But none of this ever works. Please provide some helpful information so I can solve this. |
|
706 \end{mybox3} |
|
707 \end{minipage} |
|
708 \end{frame} |
|
709 |
|
710 |
|
711 |
641 \end{document} |
712 \end{document} |
642 |
713 |
643 %%% Local Variables: |
714 %%% Local Variables: |
644 %%% mode: latex |
715 %%% mode: latex |
645 %%% TeX-master: t |
716 %%% TeX-master: t |