| changeset 581 | 4782a4bfc888 | 
| parent 579 | eb9ef7b96f4a | 
| child 660 | 7ef4d9a2676a | 
--- a/slides/slides04.tex Tue Oct 16 08:29:49 2018 +0100 +++ b/slides/slides04.tex Tue Oct 16 14:40:30 2018 +0100 @@ -665,7 +665,7 @@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \begin{frame}[c] -\frametitle{Sulzmann Matcher} +\frametitle{Sulzmann \& Lu Matcher} We want to match the string \bl{$abc$} using \bl{$r_1$}: