# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1348960900 -3600
# Node ID f5a6270adebc2a84f18ce7eabf65b2cff5cf4db5
# Parent  8ef75033f34eed2d85a4accb3c95767170a46db6
tuning

diff -r 8ef75033f34e -r f5a6270adebc slides02.pdf
Binary file slides02.pdf has changed
diff -r 8ef75033f34e -r f5a6270adebc slides02.tex
--- a/slides02.tex	Sun Sep 30 00:12:34 2012 +0100
+++ b/slides02.tex	Sun Sep 30 00:21:40 2012 +0100
@@ -108,10 +108,13 @@
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 \mode<presentation>{
-\begin{frame}[c]
+\begin{frame}[t]
 \frametitle{\begin{tabular}{c}Regular Expressions\end{tabular}}
 
-\begin{textblock}{6}(2,4)
+Their inductive definition:
+
+
+\begin{textblock}{6}(2,5)
   \begin{tabular}{@ {}rrl@ {\hspace{13mm}}l}
   \bl{r} & \bl{$::=$}  & \bl{$\varnothing$}  & null\\
          & \bl{$\mid$} & \bl{$\epsilon$}        & empty string / "" / []\\
@@ -215,7 +218,7 @@
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 \mode<presentation>{
 \begin{frame}[c]
-\frametitle{\begin{tabular}{c}An Matching Algorithm\end{tabular}}
+\frametitle{\begin{tabular}{c}A Matching Algorithm\end{tabular}}
 
 \small
 whether a regular expression matches the empty string:\medskip
@@ -232,7 +235,7 @@
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 \mode<presentation>{
 \begin{frame}[c]
-\frametitle{\begin{tabular}{c}Derivative of a Rexp\end{tabular}}
+\frametitle{\begin{tabular}{c}The Derivative of a Rexp\end{tabular}}
 
 \large
 If \bl{r} matches the string \bl{c::s}, what is a regular expression that matches \bl{s}?\bigskip\bigskip\bigskip\bigskip