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 \usetikzlibrary{plotmarks} |
|
19 \usepackage{graphicx} |
|
20 \usepackage{pgfplots} |
|
21 \usepackage{../langs} |
4 \usepackage{../langs} |
22 \usepackage{../data} |
5 \usepackage{../data} |
23 |
6 |
24 |
7 |
25 % beamer stuff |
8 % beamer stuff |
26 \renewcommand{\slidecaption}{AFL 07, King's College London, 13.~November 2013} |
9 \renewcommand{\slidecaption}{AFL 07, King's College London} |
27 \newcommand{\bl}[1]{\textcolor{blue}{#1}} |
10 \newcommand{\bl}[1]{\textcolor{blue}{#1}} |
28 \newcommand{\dn}{\stackrel{\mbox{\scriptsize def}}{=}}% for definitions |
11 %\newcommand{\dn}{\stackrel{\mbox{\scriptsize def}}{=}}% for definitions |
29 |
12 |
30 \begin{document} |
13 \begin{document} |
31 |
14 |
32 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
15 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
33 \mode<presentation>{ |
16 \begin{frame}[t] |
34 \begin{frame}<1>[t] |
|
35 \frametitle{% |
17 \frametitle{% |
36 \begin{tabular}{@ {}c@ {}} |
18 \begin{tabular}{@ {}c@ {}} |
37 \\[-3mm] |
19 \\[-3mm] |
38 \LARGE Automata and \\[-2mm] |
20 \LARGE Automata and \\[-2mm] |
39 \LARGE Formal Languages (7)\\[3mm] |
21 \LARGE Formal Languages (7)\\[3mm] |
46 Office: & S1.27 (1st floor Strand Building)\\ |
28 Office: & S1.27 (1st floor Strand Building)\\ |
47 Slides: & KEATS (also home work is there)\\ |
29 Slides: & KEATS (also home work is there)\\ |
48 \end{tabular} |
30 \end{tabular} |
49 \end{center} |
31 \end{center} |
50 |
32 |
51 |
33 \end{frame} |
52 \end{frame}} |
34 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
53 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
|
54 |
35 |
55 |
36 |
56 \newcommand{\qq}{\mbox{\texttt{"}}} |
37 \newcommand{\qq}{\mbox{\texttt{"}}} |
57 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
38 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
58 \mode<presentation>{ |
39 \begin{frame}[c] |
59 \begin{frame}[c] |
40 \frametitle{CFGs} |
60 \frametitle{\begin{tabular}{c}Two Weeks Ago: CFGs\end{tabular}} |
|
61 |
41 |
62 A \alert{context-free} grammar (CFG) \bl{$G$} consists of: |
42 A \alert{context-free} grammar (CFG) \bl{$G$} consists of: |
63 |
43 |
64 \begin{itemize} |
44 \begin{itemize} |
65 \item a finite set of nonterminal symbols (upper case) |
45 \item a finite set of nonterminal symbols (upper case) |
72 |
52 |
73 where \bl{rhs} are sequences involving terminals and nonterminals (can also be empty).\medskip\pause |
53 where \bl{rhs} are sequences involving terminals and nonterminals (can also be empty).\medskip\pause |
74 |
54 |
75 \end{itemize} |
55 \end{itemize} |
76 |
56 |
77 \end{frame}} |
57 \end{frame} |
78 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
58 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
79 |
|
80 |
59 |
81 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
60 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
82 \mode<presentation>{ |
61 \mode<presentation>{ |
83 \begin{frame}[c] |
62 \begin{frame}[c] |
84 \frametitle{\begin{tabular}{c}Hierarchy of Languages\end{tabular}} |
63 \frametitle{\begin{tabular}{c}Hierarchy of Languages\end{tabular}} |