equal
deleted
inserted
replaced
1009 \end{tabular} |
1009 \end{tabular} |
1010 |
1010 |
1011 \end{frame}} |
1011 \end{frame}} |
1012 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
1012 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
1013 |
1013 |
|
1014 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
|
1015 \mode<presentation>{ |
|
1016 \begin{frame}[c] |
|
1017 \frametitle{\begin{tabular}{c}Regular Expressions\end{tabular}} |
|
1018 |
|
1019 \begin{itemize} |
|
1020 \item symbols, digits |
|
1021 \item identifiers |
|
1022 \item numbers (non-leading zeros) |
|
1023 \item keywords |
|
1024 \item comments |
|
1025 \end{itemize}\bigskip |
|
1026 |
|
1027 |
|
1028 \mbox{}\hfill\bl{\url{http://www.regexper.com}} |
|
1029 \end{frame}} |
|
1030 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
|
1031 |
|
1032 |
1014 |
1033 |
1015 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
1034 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
1016 \mode<presentation>{ |
1035 \mode<presentation>{ |
1017 \begin{frame}[c] |
1036 \begin{frame}[c] |
1018 \frametitle{\begin{tabular}{c}Regular Languages\end{tabular}} |
1037 \frametitle{\begin{tabular}{c}Regular Languages\end{tabular}} |