equal
deleted
inserted
replaced
294 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
294 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
295 \begin{frame}[c] |
295 \begin{frame}[c] |
296 \frametitle{Today} |
296 \frametitle{Today} |
297 |
297 |
298 \begin{itemize} |
298 \begin{itemize} |
299 \item the ultimate goal is to implement a small compiler |
299 \item While the ultimate goal is to implement a small compiler |
300 (a really small one for the JVM)\bigskip |
300 (a really small one for the JVM)\ldots\bigskip |
301 \end{itemize} |
301 \end{itemize} |
302 |
302 |
303 Let's start with: |
303 Let's start with: |
304 |
304 |
305 \begin{itemize} |
305 \begin{itemize} |
306 \item a web-crawler |
306 \item a web-crawler |
307 \item an email harvester |
307 \item an email harvester |
308 \item \textcolor{gray}{a web-scraper} |
308 \item \textcolor{gray}{(a web-scraper)} |
309 \end{itemize} |
309 \end{itemize} |
310 |
310 |
311 \end{frame} |
311 \end{frame} |
312 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
312 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
313 |
313 |
635 \item A \alert{\bf language} is a set of strings, for example\medskip |
635 \item A \alert{\bf language} is a set of strings, for example\medskip |
636 \begin{center} |
636 \begin{center} |
637 \bl{$\{[], hello, \textit{foobar}, a, abc\}$} |
637 \bl{$\{[], hello, \textit{foobar}, a, abc\}$} |
638 \end{center}\bigskip |
638 \end{center}\bigskip |
639 |
639 |
640 \item \alert{\bf Concatenation} of strings and sets |
640 \item \alert{\bf Concatenation} of strings and languages |
641 |
641 |
642 \begin{center} |
642 \begin{center} |
643 \begin{tabular}{rcl} |
643 \begin{tabular}{rcl} |
644 \bl{$\textit{foo}\;@\;bar$} & \bl{$=$} & \bl{$\textit{foobar}$}\medskip\\ |
644 \bl{$\textit{foo}\;@\;bar$} & \bl{$=$} & \bl{$\textit{foobar}$}\medskip\\ |
645 \bl{$A\;@\;B$} & \bl{$\dn$} & \bl{$\{ s_1\,@\,s_2 \;\mid\; s_1 \in A \wedge s_2 \in B\}$} |
645 \bl{$A\;@\;B$} & \bl{$\dn$} & \bl{$\{ s_1\,@\,s_2 \;\mid\; s_1 \in A \wedge s_2 \in B\}$} |