equal
deleted
inserted
replaced
458 |
458 |
459 \end{frame} |
459 \end{frame} |
460 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
460 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
461 |
461 |
462 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
462 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
463 \begin{frame}[t] |
463 \begin{frame}[c] |
464 \frametitle{Brzozowski's Algorithm (1)} |
464 \frametitle{\mbox{Brzozowski's Algorithm (1)}} |
465 |
465 |
466 |
466 |
467 \ldots{}whether a regular expression can match the empty string: |
467 \ldots{}whether a regular expression can match the empty string: |
468 \begin{center} |
468 \begin{center} |
469 \begin{tabular}{@ {}l@ {\hspace{2mm}}c@ {\hspace{2mm}}l@ {}} |
469 \begin{tabular}{@ {}l@ {\hspace{2mm}}c@ {\hspace{2mm}}l@ {}} |
891 |
891 |
892 \end{frame} |
892 \end{frame} |
893 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
893 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
894 |
894 |
895 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
895 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
896 \begin{frame}[t] |
896 \begin{frame}[c] |
897 \frametitle{What is good about this Alg.} |
897 \frametitle{\mbox{What is good about this Alg.}} |
898 |
898 |
899 \begin{itemize} |
899 \begin{itemize} |
900 \item extends to most regular expressions, for example |
900 \item extends to most regular expressions, for example |
901 \bl{$\sim r$} |
901 \bl{$\sim r$} (next slide) |
902 |
902 |
903 \item is easy to implement in a functional language |
903 \item is easy to implement in a functional language (slide after) |
904 |
904 |
905 \item the algorithm is already quite old; there is still |
905 \item the algorithm is already quite old; there is still |
906 work to be done to use it as a tokenizer (that is relatively new work) |
906 work to be done to use it as a tokenizer (that is relatively new work) |
907 |
907 |
908 \item we can prove its correctness\ldots |
908 \item we can prove its correctness\ldots |