equal
deleted
inserted
replaced
10 \pgfplotsset{compat=1.11} |
10 \pgfplotsset{compat=1.11} |
11 |
11 |
12 \newcommand{\bl}[1]{\textcolor{blue}{#1}} |
12 \newcommand{\bl}[1]{\textcolor{blue}{#1}} |
13 |
13 |
14 % beamer stuff |
14 % beamer stuff |
15 \renewcommand{\slidecaption}{AFL 05, King's College London} |
15 \renewcommand{\slidecaption}{CFL 05, King's College London} |
16 |
16 |
17 |
17 |
18 \begin{document} |
18 \begin{document} |
19 |
19 |
20 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
20 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
21 \begin{frame}[t] |
21 \begin{frame}[t] |
22 \frametitle{% |
22 \frametitle{% |
23 \begin{tabular}{@ {}c@ {}} |
23 \begin{tabular}{@ {}c@ {}} |
24 \\[-3mm] |
24 \\[-3mm] |
25 \LARGE Automata and \\[-2mm] |
25 \LARGE Compilers and \\[-2mm] |
26 \LARGE Formal Languages (5)\\[3mm] |
26 \LARGE Formal Languages (5)\\[3mm] |
27 \end{tabular}} |
27 \end{tabular}} |
28 |
28 |
29 \normalsize |
29 \normalsize |
30 \begin{center} |
30 \begin{center} |
46 |
46 |
47 \begin{center} |
47 \begin{center} |
48 \begin{columns} |
48 \begin{columns} |
49 \begin{column}{3cm} |
49 \begin{column}{3cm} |
50 \begin{tabular}{@{}rrl@{}} |
50 \begin{tabular}{@{}rrl@{}} |
51 \bl{$r$} & \bl{$::=$} & \bl{$\varnothing$}\\ |
51 \bl{$r$} & \bl{$::=$} & \bl{$\ZERO$}\\ |
52 & \bl{$\mid$} & \bl{$\epsilon$} \\ |
52 & \bl{$\mid$} & \bl{$\ONE$} \\ |
53 & \bl{$\mid$} & \bl{$c$} \\ |
53 & \bl{$\mid$} & \bl{$c$} \\ |
54 & \bl{$\mid$} & \bl{$r_1 \cdot r_2$}\\ |
54 & \bl{$\mid$} & \bl{$r_1 \cdot r_2$}\\ |
55 & \bl{$\mid$} & \bl{$r_1 + r_2$} \\ |
55 & \bl{$\mid$} & \bl{$r_1 + r_2$} \\ |
56 \\ |
56 \\ |
57 & \bl{$\mid$} & \bl{$r^*$} \\ |
57 & \bl{$\mid$} & \bl{$r^*$} \\ |
106 \begin{textblock}{6}(1,0.8) |
106 \begin{textblock}{6}(1,0.8) |
107 \begin{bubble}[6cm] |
107 \begin{bubble}[6cm] |
108 \small |
108 \small |
109 \begin{tabular}{ll} |
109 \begin{tabular}{ll} |
110 \bl{$r_1$}: & \bl{$a \cdot (b \cdot c)$}\\ |
110 \bl{$r_1$}: & \bl{$a \cdot (b \cdot c)$}\\ |
111 \bl{$r_2$}: & \bl{$\epsilon \cdot (b \cdot c)$}\\ |
111 \bl{$r_2$}: & \bl{$\ONE \cdot (b \cdot c)$}\\ |
112 \bl{$r_3$}: & \bl{$(\varnothing \cdot (b \cdot c)) + (\epsilon \cdot c)$}\\ |
112 \bl{$r_3$}: & \bl{$(\ZERO \cdot (b \cdot c)) + (\ONE \cdot c)$}\\ |
113 \bl{$r_4$}: & \bl{$(\varnothing \cdot (b \cdot c)) + ((\varnothing \cdot c) + \epsilon)$}\\ |
113 \bl{$r_4$}: & \bl{$(\ZERO \cdot (b \cdot c)) + ((\ZERO \cdot c) + \ONE)$}\\ |
114 \end{tabular} |
114 \end{tabular} |
115 \end{bubble} |
115 \end{bubble} |
116 \end{textblock} |
116 \end{textblock} |
117 |
117 |
118 \begin{textblock}{6}(1,11.4) |
118 \begin{textblock}{6}(1,11.4) |
177 \draw (r4) node[anchor=north west] {\;\raisebox{-8mm}{\bl{$mkeps$}}}; |
177 \draw (r4) node[anchor=north west] {\;\raisebox{-8mm}{\bl{$mkeps$}}}; |
178 \end{tikzpicture} |
178 \end{tikzpicture} |
179 \end{center} |
179 \end{center} |
180 |
180 |
181 \small |
181 \small |
182 \hspace{4.5cm}\bl{$(b \cdot c) + (\varnothing + \epsilon)$} |
182 \hspace{4.5cm}\bl{$(b \cdot c) + (\ZERO + \ONE)$} |
183 $\mapsto$ |
183 $\mapsto$ |
184 \bl{$(b \cdot c) + \epsilon$} |
184 \bl{$(b \cdot c) + \ONE$} |
185 |
185 |
186 \end{frame} |
186 \end{frame} |
187 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
187 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
188 |
188 |
189 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
189 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
191 |
191 |
192 \begin{center} |
192 \begin{center} |
193 \bl{$\only<1>{(b \cdot c)}% |
193 \bl{$\only<1>{(b \cdot c)}% |
194 \only<2-3>{(\underline{b \cdot c})}% |
194 \only<2-3>{(\underline{b \cdot c})}% |
195 \only<1-3>{+}% |
195 \only<1-3>{+}% |
196 \only<1>{(\varnothing + \epsilon)}% |
196 \only<1>{(\ZERO + \ONE)}% |
197 \only<2-3>{(\underline{\varnothing + \epsilon})}$}% |
197 \only<2-3>{(\underline{\ZERO + \ONE})}$}% |
198 \only<4->{% |
198 \only<4->{% |
199 \bl{$\underline{(b \cdot c) + (\varnothing + \epsilon)}$}% |
199 \bl{$\underline{(b \cdot c) + (\ZERO + \ONE)}$}% |
200 } |
200 } |
201 $\mapsto$ |
201 $\mapsto$ |
202 \bl{$(b \cdot c) + \epsilon$} |
202 \bl{$(b \cdot c) + \ONE$} |
203 \end{center}\bigskip |
203 \end{center}\bigskip |
204 |
204 |
205 \onslide<3->{% |
205 \onslide<3->{% |
206 \begin{center} |
206 \begin{center} |
207 \begin{tabular}{lcl} |
207 \begin{tabular}{lcl} |