2 \usepackage{../slides} |
2 \usepackage{../slides} |
3 \usepackage{../graphics} |
3 \usepackage{../graphics} |
4 \usepackage{../langs} |
4 \usepackage{../langs} |
5 \usepackage{../data} |
5 \usepackage{../data} |
6 |
6 |
7 %\usepackage{beamerthemeplaincu} |
|
8 %\usepackage[absolute,overlay]{textpos} |
|
9 %\usepackage{ifthen} |
|
10 %\usepackage{tikz} |
|
11 %\usepackage{pgf} |
|
12 %\usepackage{calc} |
|
13 %\usepackage{ulem} |
|
14 %\usepackage{courier} |
|
15 %\usepackage{listings} |
|
16 %\renewcommand{\uline}[1]{#1} |
|
17 %\usetikzlibrary{arrows} |
|
18 %\usetikzlibrary{automata} |
|
19 %\usetikzlibrary{shapes} |
|
20 %\usetikzlibrary{shadows} |
|
21 %\usetikzlibrary{positioning} |
|
22 %\usetikzlibrary{plotmarks} |
|
23 %\usetikzlibrary{calc} |
|
24 %\usepackage{graphicx} |
|
25 %\usepackage{../langs} |
|
26 %\usepackage{../data} |
|
27 |
|
28 %\makeatletter |
|
29 %\lst@CCPutMacro\lst@ProcessOther {"2D}{\lst@ttfamily{-{}}{-{}}} |
|
30 %\@empty\z@\@empty |
|
31 %\makeatother |
|
32 |
|
33 \hfuzz=220pt |
7 \hfuzz=220pt |
34 |
8 |
35 \lstset{language=Scala, |
9 \lstset{language=Scala, |
36 style=mystyle, |
10 style=mystyle, |
37 numbersep=0pt, |
11 numbersep=0pt, |
45 |
19 |
46 |
20 |
47 \begin{document} |
21 \begin{document} |
48 |
22 |
49 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
23 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
50 \mode<presentation>{ |
24 \begin{frame}[t] |
51 \begin{frame}<1>[t] |
|
52 \frametitle{% |
25 \frametitle{% |
53 \begin{tabular}{@ {}c@ {}} |
26 \begin{tabular}{@ {}c@ {}} |
54 \\[-3mm] |
27 \\[-3mm] |
55 \LARGE Automata and \\[-2mm] |
28 \LARGE Automata and \\[-2mm] |
56 \LARGE Formal Languages (2)\\[3mm] |
29 \LARGE Formal Languages (2)\\[3mm] |
57 \end{tabular}} |
30 \end{tabular}} |
58 |
31 |
59 %\begin{center} |
32 \normalsize |
60 %\includegraphics[scale=0.3]{pics/ante1.jpg}\hspace{5mm} |
|
61 %\includegraphics[scale=0.31]{pics/ante2.jpg}\\ |
|
62 %\footnotesize\textcolor{gray}{Antikythera automaton, 100 BC (Archimedes?)} |
|
63 %\end{center} |
|
64 |
|
65 \normalsize |
|
66 \begin{center} |
33 \begin{center} |
67 \begin{tabular}{ll} |
34 \begin{tabular}{ll} |
68 Email: & christian.urban at kcl.ac.uk\\ |
35 Email: & christian.urban at kcl.ac.uk\\ |
69 Office: & S1.27 (1st floor Strand Building)\\ |
36 Office: & S1.27 (1st floor Strand Building)\\ |
70 Slides: & KEATS |
37 Slides: & KEATS |
71 \end{tabular} |
38 \end{tabular} |
72 \end{center} |
39 \end{center} |
73 |
40 |
74 |
41 \end{frame} |
75 \end{frame}} |
42 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
76 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
43 |
77 |
44 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
78 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
45 \begin{frame}[c] |
79 \mode<presentation>{ |
46 \frametitle{Languages, Strings} |
80 \begin{frame}[c] |
47 |
81 \frametitle{\begin{tabular}{c}Languages\end{tabular}} |
48 \begin{itemize} |
82 |
49 \item A \alert{language} is a set of strings.\medskip |
83 A \alert{language} is a set of strings.\bigskip |
50 \begin{center} |
84 |
51 \bl{\{[], hello, foobar, a, abc\}} |
85 A \alert{regular expression} specifies a set of strings, or language. |
52 \end{center}\bigskip |
86 |
53 |
87 \end{frame}} |
54 \item The \alert{meaning} of a regular expression is a set of |
|
55 strings, or language. |
|
56 \end{itemize} |
|
57 |
|
58 \end{frame} |
88 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
59 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
89 |
60 |
90 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
61 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
91 \mode<presentation>{ |
62 \mode<presentation>{ |
92 \begin{frame}[t] |
63 \begin{frame}[t] |