1 \documentclass[dvipsnames,14pt,t]{beamer} |
1 \documentclass[dvipsnames,14pt,t]{beamer} |
2 \usepackage{beamerthemeplaincu} |
2 \usepackage{../slides} |
3 \usepackage[absolute,overlay]{textpos} |
|
4 \usepackage{ifthen} |
|
5 \usepackage{tikz} |
|
6 \usepackage{pgf} |
|
7 \usepackage{calc} |
|
8 \usepackage{ulem} |
|
9 \usepackage{listings} |
|
10 \renewcommand{\uline}[1]{#1} |
|
11 \usetikzlibrary{arrows} |
|
12 \usetikzlibrary{automata} |
|
13 \usetikzlibrary{shapes} |
|
14 \usetikzlibrary{shadows} |
|
15 \usetikzlibrary{positioning} |
|
16 \usetikzlibrary{calc} |
|
17 \usetikzlibrary{plotmarks} |
|
18 \usepackage{graphicx} |
|
19 \usepackage{pgfplots} |
|
20 \usepackage{../langs} |
3 \usepackage{../langs} |
21 \usepackage{../data} |
4 \usepackage{../data} |
|
5 \usepackage{../graphics} |
22 |
6 |
23 % beamer stuff |
7 % beamer stuff |
24 \renewcommand{\slidecaption}{AFL 09, King's College London, 20.~November 2013} |
8 \renewcommand{\slidecaption}{AFL 09, King's College London} |
25 \newcommand{\bl}[1]{\textcolor{blue}{#1}} |
9 \newcommand{\bl}[1]{\textcolor{blue}{#1}} |
26 \newcommand{\dn}{\stackrel{\mbox{\scriptsize def}}{=}}% for definitions |
|
27 |
10 |
28 \begin{document} |
11 \begin{document} |
29 |
12 |
30 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
13 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
31 \mode<presentation>{ |
14 \begin{frame}[t] |
32 \begin{frame}<1>[t] |
|
33 \frametitle{% |
15 \frametitle{% |
34 \begin{tabular}{@ {}c@ {}} |
16 \begin{tabular}{@ {}c@ {}} |
35 \\[-3mm] |
17 \\[-3mm] |
36 \LARGE Automata and \\[-2mm] |
18 \LARGE Automata and \\[-2mm] |
37 \LARGE Formal Languages (8)\\[3mm] |
19 \LARGE Formal Languages (8)\\[3mm] |
44 Office: & S1.27 (1st floor Strand Building)\\ |
26 Office: & S1.27 (1st floor Strand Building)\\ |
45 Slides: & KEATS (also home work is there)\\ |
27 Slides: & KEATS (also home work is there)\\ |
46 \end{tabular} |
28 \end{tabular} |
47 \end{center} |
29 \end{center} |
48 |
30 |
49 \end{frame}} |
31 \end{frame} |
50 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
32 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
51 |
|
52 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
|
53 \mode<presentation>{ |
|
54 \begin{frame}[c] |
|
55 |
|
56 Imagine the following situation: You talk to somebody |
|
57 and you find out that she/he has implemented a compiler.\smallskip |
|
58 |
|
59 What is your reaction? \pause Check all that apply.\bigskip |
|
60 |
|
61 \begin{itemize} |
|
62 \item[$\Box$] You think she/he is God |
|
63 \item[$\Box$] \"Uberhacker |
|
64 \item[$\Box$] superhuman |
|
65 \item[$\Box$] wizard |
|
66 \item[$\Box$] supremo |
|
67 \end{itemize} |
|
68 |
|
69 \end{frame}} |
|
70 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
|
71 |
33 |
72 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
34 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
73 \mode<presentation>{ |
35 \mode<presentation>{ |
74 \begin{frame}[c] |
36 \begin{frame}[c] |
75 \frametitle{Bird's Eye View} |
37 \frametitle{Bird's Eye View} |
85 \end{tikzpicture}\\ |
47 \end{tikzpicture}\\ |
86 \end{center} |
48 \end{center} |
87 |
49 |
88 \end{frame}} |
50 \end{frame}} |
89 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
51 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
90 |
|
91 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
|
92 \mode<presentation>{ |
|
93 \begin{frame}[c] |
|
94 |
|
95 \begin{center} |
|
96 \includegraphics[scale=0.7]{../pics/machine_code.jpg} |
|
97 \end{center} |
|
98 |
|
99 \end{frame}} |
|
100 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
|
101 |
52 |
102 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
|
103 \mode<presentation>{ |
|
104 \begin{frame}[c] |
|
105 \frametitle{Assembly Code} |
|
106 \mbox{}\\[-12mm]\mbox{} |
|
107 |
|
108 \begin{center} |
|
109 \includegraphics[scale=0.65]{../pics/assembly.jpg} |
|
110 \end{center} |
|
111 |
|
112 \small\mbox{}\\[-10mm] |
|
113 Jasmin assembler for Java bytecode |
|
114 |
|
115 \end{frame}} |
|
116 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
|
117 |
|
118 |
|
119 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
53 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
120 \mode<presentation>{ |
54 \mode<presentation>{ |
121 \begin{frame}[c] |
55 \begin{frame}[c] |
122 |
56 |
123 \begin{center} |
57 \begin{center} |