equal
deleted
inserted
replaced
417 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
417 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
418 |
418 |
419 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
419 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
420 \mode<presentation>{ |
420 \mode<presentation>{ |
421 \begin{frame}[c] |
421 \begin{frame}[c] |
422 \frametitle{\begin{tabular}{c}The Meaning of a Matching\end{tabular}} |
422 \frametitle{\begin{tabular}{c}The Meaning of Matching\end{tabular}} |
423 |
423 |
424 \large |
424 \large |
425 a regular expression \bl{r} matches a string \bl{s} is defined as |
425 a regular expression \bl{r} matches a string \bl{s} is defined as |
426 |
426 |
427 \begin{center} |
427 \begin{center} |