# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1348644362 -3600
# Node ID 27c0abdb39d573e34e42892b875bc1e76f3b6402
# Parent  df423d3b7fa13109392fb1ec747887bf168adaf2
tuned

diff -r df423d3b7fa1 -r 27c0abdb39d5 slides01.pdf
Binary file slides01.pdf has changed
diff -r df423d3b7fa1 -r 27c0abdb39d5 slides01.tex
--- 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}}
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%