--- a/slides01.tex Wed Sep 26 08:07:21 2012 +0100
+++ b/slides01.tex Wed Sep 26 08:26:02 2012 +0100
@@ -394,17 +394,25 @@
\begin{frame}[c]
\frametitle{\begin{tabular}{c}The Meaning of a\\[-2mm] Regular Expression\end{tabular}}
-\begin{textblock}{6}(2,4)
+\begin{textblock}{15}(1,4)
\begin{tabular}{@ {}rcl}
\bl{$L$($\varnothing$)} & \bl{$\dn$} & \bl{$\varnothing$}\\
\bl{$L$($\epsilon$)} & \bl{$\dn$} & \bl{$\{$""$\}$}\\
\bl{$L$(c)} & \bl{$\dn$} & \bl{$\{$"c"$\}$}\\
\bl{$L$(r$_1$ + r$_2$)} & \bl{$\dn$} & \bl{$L$(r$_1$) $\cup$ $L$(r$_2$)}\\
- \bl{$L$(r$_1$ $\cdot$ r$_2$)} & \bl{$\dn$} & \bl{$\{$ s$_1$ @ s$_2$ $|$ s$_1$ $\in$ }\\
- \bl{$L$(r$^*$)} & \bl{$\dn$} \\
- \end{tabular}
- \end{textblock}
+ \bl{$L$(r$_1$ $\cdot$ r$_2$)} & \bl{$\dn$} & \bl{$\{$ s$_1$ @ s$_2$ $|$ s$_1$ $\in$ $L$(r$_1$) $\wedge$ s$_2$ $\in$
+ $L$(r$_2$) $\}$}\\
+ \bl{$L$(r$^*$)} & \bl{$\dn$} & \onslide<3>{\bl{$\bigcup_{n \ge 0}$ $L$(r)$^n$}}\\
+ \end{tabular}\bigskip
+\onslide<2->{
+\hspace{5mm}\bl{$L$(r)$^0$ $\;\dn\;$ $\{$""$\}$}\\
+\bl{$L$(r)$^{n+1}$ $\;\dn\;$ $L$(r) @ $L$(r)$^n$}\hspace{9mm}\small\textcolor{gray}{(append on sets)}\\
+\small\hspace{5cm}\textcolor{gray}{$\{$ s$_1$ @ s$_2$ $|$ s$_1$ $\in$ $L$(r$_1$) $\wedge$ s$_2$ $\in$
+ $L$(r$_2$) $\}$}
+}
+ \end{textblock}
+
\end{frame}}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%