equal
deleted
inserted
replaced
4 \usepackage{../langs} |
4 \usepackage{../langs} |
5 \usepackage{../data} |
5 \usepackage{../data} |
6 |
6 |
7 \hfuzz=220pt |
7 \hfuzz=220pt |
8 |
8 |
9 %\setmonofont[Scale=.88]{Consolas} |
|
10 %\newfontfamily{\consolas}{Consolas} |
|
11 |
|
12 \lstset{language=Scala, |
9 \lstset{language=Scala, |
13 style=mystyle, |
10 style=mystyle, |
14 numbersep=0pt, |
11 numbersep=0pt, |
15 numbers=none, |
12 numbers=none, |
16 xleftmargin=0mm} |
13 xleftmargin=0mm} |
23 |
20 |
24 \begin{document} |
21 \begin{document} |
25 |
22 |
26 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
23 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
27 \begin{frame}[t] |
24 \begin{frame}[t] |
28 \frametitle{% |
25 \frametitle{% |
29 \begin{tabular}{@ {}c@ {}} |
26 \begin{tabular}{@ {}c@ {}} |
30 \\[-3mm] |
27 \\[-3mm] |
31 \LARGE Compilers and \\[-1mm] |
28 \LARGE Compilers and \\[-1mm] |
32 \LARGE Formal Languages (1)\\[-3mm] |
29 \LARGE Formal Languages (1)\\[-3mm] |
33 \end{tabular}} |
30 \end{tabular}} |
36 %\includegraphics[scale=0.3]{pics/ante1.jpg}\hspace{5mm} |
33 %\includegraphics[scale=0.3]{pics/ante1.jpg}\hspace{5mm} |
37 %\includegraphics[scale=0.31]{pics/ante2.jpg}\\ |
34 %\includegraphics[scale=0.31]{pics/ante2.jpg}\\ |
38 %\footnotesize\textcolor{gray}{Antikythera automaton, 100 BC (Archimedes?)} |
35 %\footnotesize\textcolor{gray}{Antikythera automaton, 100 BC (Archimedes?)} |
39 \end{center} |
36 \end{center} |
40 |
37 |
41 \normalsize |
38 \normalsize |
42 \begin{center} |
39 \begin{center} |
43 \begin{tabular}{ll} |
40 \begin{tabular}{ll} |
44 Email: & christian.urban at kcl.ac.uk\\ |
41 Email: & christian.urban at kcl.ac.uk\\ |
45 Office: & N7.07 (North Wing, Bush House)\\ |
42 Office: & N7.07 (North Wing, Bush House)\\ |
46 Slides: & KEATS |
43 Slides: & KEATS |
47 \end{tabular} |
44 \end{tabular} |
48 \end{center} |
45 \end{center} |
49 |
|
50 |
46 |
51 \end{frame} |
47 \end{frame} |
52 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
48 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
53 |
49 |
54 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
50 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
264 \end{columns}\bigskip |
260 \end{columns}\bigskip |
265 |
261 |
266 \small\centering |
262 \small\centering |
267 matching \texttt{[a?]\{n\}[a]\{n\}} and \texttt{[a*]*b} |
263 matching \texttt{[a?]\{n\}[a]\{n\}} and \texttt{[a*]*b} |
268 against $\underbrace{\texttt{a}...\texttt{a}}_n$ |
264 against $\underbrace{\texttt{a}...\texttt{a}}_n$ |
269 \end{frame} |
265 \end{frame} |
270 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
266 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
271 |
|
272 |
267 |
273 |
268 |
274 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
269 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
275 \begin{frame}[c] |
270 \begin{frame}[c] |
276 \frametitle{Lectures 1 - 5} |
271 \frametitle{Lectures 1 - 5} |