1 \documentclass[dvipsnames,14pt,t]{beamer} |
1 \documentclass[dvipsnames,14pt,t]{beamer} |
2 \usepackage{beamerthemeplaincu} |
2 \usepackage{../slides} |
3 \usepackage[absolute,overlay]{textpos} |
3 \usepackage{../graphics} |
4 \usepackage{ifthen} |
|
5 \usepackage{tikz} |
|
6 \usepackage{pgf} |
|
7 \usepackage{calc} |
|
8 \usepackage{ulem} |
|
9 \usepackage{courier} |
|
10 \usepackage{listings} |
|
11 \renewcommand{\uline}[1]{#1} |
|
12 \usetikzlibrary{arrows} |
|
13 \usetikzlibrary{automata} |
|
14 \usetikzlibrary{shapes} |
|
15 \usetikzlibrary{shadows} |
|
16 \usetikzlibrary{positioning} |
|
17 \usetikzlibrary{calc} |
|
18 \usepackage{graphicx} |
|
19 \usepackage{pgfplots} |
|
20 \usepackage{fontspec} |
|
21 \usepackage{../langs} |
4 \usepackage{../langs} |
22 \usepackage{../data} |
5 \usepackage{../data} |
23 |
6 |
|
7 \hfuzz=220pt |
|
8 |
|
9 \pgfplotsset{compat=1.11} |
|
10 |
|
11 \newcommand{\bl}[1]{\textcolor{blue}{#1}} |
24 |
12 |
25 % beamer stuff |
13 % beamer stuff |
26 \renewcommand{\slidecaption}{AFL 05, King's College London, 23.~October 2013} |
14 \renewcommand{\slidecaption}{AFL 05, King's College London} |
27 \newcommand{\bl}[1]{\textcolor{blue}{#1}} |
15 |
28 \newcommand{\dn}{\stackrel{\mbox{\scriptsize def}}{=}}% for definitions |
|
29 |
16 |
30 \begin{document} |
17 \begin{document} |
31 |
18 |
32 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
19 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
33 \mode<presentation>{ |
20 \begin{frame}[t] |
34 \begin{frame}<1>[t] |
|
35 \frametitle{% |
21 \frametitle{% |
36 \begin{tabular}{@ {}c@ {}} |
22 \begin{tabular}{@ {}c@ {}} |
37 \\[-3mm] |
23 \\[-3mm] |
38 \LARGE Automata and \\[-2mm] |
24 \LARGE Automata and \\[-2mm] |
39 \LARGE Formal Languages (5)\\[3mm] |
25 \LARGE Formal Languages (5)\\[3mm] |
45 Email: & christian.urban at kcl.ac.uk\\ |
31 Email: & christian.urban at kcl.ac.uk\\ |
46 Office: & S1.27 (1st floor Strand Building)\\ |
32 Office: & S1.27 (1st floor Strand Building)\\ |
47 Slides: & KEATS (also home work is there)\\ |
33 Slides: & KEATS (also home work is there)\\ |
48 \end{tabular} |
34 \end{tabular} |
49 \end{center} |
35 \end{center} |
50 |
36 \end{frame} |
51 |
|
52 \end{frame}} |
|
53 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
37 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
54 |
38 |
55 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
39 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
56 \mode<presentation>{ |
40 \mode<presentation>{ |
57 \begin{frame}[c] |
41 \begin{frame}[c] |
63 \item For all unmarked pairs \bl{$(q, p)$} and all characters \bl{$c$} tests wether |
47 \item For all unmarked pairs \bl{$(q, p)$} and all characters \bl{$c$} tests wether |
64 \begin{center} |
48 \begin{center} |
65 \bl{$(\delta(q, c), \delta(p,c))$} |
49 \bl{$(\delta(q, c), \delta(p,c))$} |
66 \end{center} |
50 \end{center} |
67 are marked. If yes, then also mark \bl{$(q, p)$}. |
51 are marked. If yes, then also mark \bl{$(q, p)$}. |
68 \item Repeat last step until no chance. |
52 \item Repeat last step until no change. |
69 \item All unmarked pairs can be merged. |
53 \item All unmarked pairs can be merged. |
70 \end{enumerate} |
54 \end{enumerate} |
71 |
55 |
72 \end{frame}} |
56 \end{frame}} |
73 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
57 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
74 |
58 |
75 |
59 |
76 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
60 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
77 \mode<presentation>{ |
61 \mode<presentation>{ |
78 \begin{frame}<1-2>[c] |
62 \begin{frame}<1>[c] |
79 |
63 |
80 \begin{center} |
64 \begin{center} |
81 \begin{tikzpicture}[>=stealth',very thick,auto, |
65 \begin{tikzpicture}[>=stealth',very thick,auto, |
82 every state/.style={minimum size=0pt,inner sep=2pt,draw=blue!50,very thick,fill=blue!20},] |
66 every state/.style={minimum size=0pt,inner sep=2pt,draw=blue!50,very thick,fill=blue!20},] |
83 \node[state,initial] (q_0) {$q_0$}; |
67 \node[state,initial] (q_0) {$q_0$}; |