equal
deleted
inserted
replaced
663 \end{frame} |
663 \end{frame} |
664 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
664 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
665 |
665 |
666 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
666 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
667 \begin{frame}[c] |
667 \begin{frame}[c] |
668 \frametitle{Sulzmann Matcher} |
668 \frametitle{Sulzmann \& Lu Matcher} |
669 |
669 |
670 We want to match the string \bl{$abc$} using \bl{$r_1$}: |
670 We want to match the string \bl{$abc$} using \bl{$r_1$}: |
671 |
671 |
672 \begin{center} |
672 \begin{center} |
673 \begin{tikzpicture}[scale=2,node distance=1.3cm,every node/.style={minimum size=8mm}] |
673 \begin{tikzpicture}[scale=2,node distance=1.3cm,every node/.style={minimum size=8mm}] |