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 06, King's College London} |
9 \renewcommand{\slidecaption}{CFL 06, King's College London} |
|
10 |
|
11 |
10 \newcommand{\bl}[1]{\textcolor{blue}{#1}} |
12 \newcommand{\bl}[1]{\textcolor{blue}{#1}} |
11 %\newcommand{\dn}{\stackrel{\mbox{\scriptsize def}}{=}}% for definitions |
13 %\newcommand{\dn}{\stackrel{\mbox{\scriptsize def}}{=}}% for definitions |
12 \newcommand{\qq}{\mbox{\texttt{"}}} |
14 \newcommand{\qq}{\mbox{\texttt{"}}} |
13 |
15 |
14 \begin{document} |
16 \begin{document} |
16 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
18 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
17 \begin{frame}[t] |
19 \begin{frame}[t] |
18 \frametitle{% |
20 \frametitle{% |
19 \begin{tabular}{@ {}c@ {}} |
21 \begin{tabular}{@ {}c@ {}} |
20 \\[-3mm] |
22 \\[-3mm] |
21 \LARGE Automata and \\[-2mm] |
23 \LARGE Compilers and \\[-2mm] |
22 \LARGE Formal Languages (6)\\[3mm] |
24 \LARGE Formal Languages (6)\\[3mm] |
23 \end{tabular}} |
25 \end{tabular}} |
24 |
26 |
25 \normalsize |
27 \normalsize |
26 \begin{center} |
28 \begin{center} |