equal
deleted
inserted
replaced
4 \usepackage{../langs} |
4 \usepackage{../langs} |
5 \usepackage{../data} |
5 \usepackage{../data} |
6 |
6 |
7 |
7 |
8 % beamer stuff |
8 % beamer stuff |
9 \renewcommand{\slidecaption}{AFL 07, King's College London} |
9 \renewcommand{\slidecaption}{CFL 07, King's College London} |
10 \newcommand{\bl}[1]{\textcolor{blue}{#1}} |
10 \newcommand{\bl}[1]{\textcolor{blue}{#1}} |
11 %\newcommand{\dn}{\stackrel{\mbox{\scriptsize def}}{=}}% for definitions |
11 %\newcommand{\dn}{\stackrel{\mbox{\scriptsize def}}{=}}% for definitions |
12 |
12 |
13 \begin{document} |
13 \begin{document} |
14 |
14 |
15 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
15 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
16 \begin{frame}[t] |
16 \begin{frame}[t] |
17 \frametitle{% |
17 \frametitle{% |
18 \begin{tabular}{@ {}c@ {}} |
18 \begin{tabular}{@ {}c@ {}} |
19 \\[-3mm] |
19 \\[-3mm] |
20 \LARGE Automata and \\[-2mm] |
20 \LARGE Compilers and \\[-2mm] |
21 \LARGE Formal Languages (7)\\[3mm] |
21 \LARGE Formal Languages (7)\\[3mm] |
22 \end{tabular}} |
22 \end{tabular}} |
23 |
23 |
24 \normalsize |
24 \normalsize |
25 \begin{center} |
25 \begin{center} |