equal
deleted
inserted
replaced
106 \end{frame}} |
106 \end{frame}} |
107 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
107 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
108 |
108 |
109 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
109 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
110 \mode<presentation>{ |
110 \mode<presentation>{ |
111 \begin{frame}[c] |
111 \begin{frame}[t] |
112 \frametitle{\begin{tabular}{c}Regular Expressions\end{tabular}} |
112 \frametitle{\begin{tabular}{c}Regular Expressions\end{tabular}} |
113 |
113 |
114 \begin{textblock}{6}(2,4) |
114 Their inductive definition: |
|
115 |
|
116 |
|
117 \begin{textblock}{6}(2,5) |
115 \begin{tabular}{@ {}rrl@ {\hspace{13mm}}l} |
118 \begin{tabular}{@ {}rrl@ {\hspace{13mm}}l} |
116 \bl{r} & \bl{$::=$} & \bl{$\varnothing$} & null\\ |
119 \bl{r} & \bl{$::=$} & \bl{$\varnothing$} & null\\ |
117 & \bl{$\mid$} & \bl{$\epsilon$} & empty string / "" / []\\ |
120 & \bl{$\mid$} & \bl{$\epsilon$} & empty string / "" / []\\ |
118 & \bl{$\mid$} & \bl{c} & character\\ |
121 & \bl{$\mid$} & \bl{c} & character\\ |
119 & \bl{$\mid$} & \bl{r$_1$ $\cdot$ r$_2$} & sequence\\ |
122 & \bl{$\mid$} & \bl{r$_1$ $\cdot$ r$_2$} & sequence\\ |
213 |
216 |
214 |
217 |
215 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
218 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
216 \mode<presentation>{ |
219 \mode<presentation>{ |
217 \begin{frame}[c] |
220 \begin{frame}[c] |
218 \frametitle{\begin{tabular}{c}An Matching Algorithm\end{tabular}} |
221 \frametitle{\begin{tabular}{c}A Matching Algorithm\end{tabular}} |
219 |
222 |
220 \small |
223 \small |
221 whether a regular expression matches the empty string:\medskip |
224 whether a regular expression matches the empty string:\medskip |
222 |
225 |
223 |
226 |
230 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
233 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
231 |
234 |
232 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
235 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
233 \mode<presentation>{ |
236 \mode<presentation>{ |
234 \begin{frame}[c] |
237 \begin{frame}[c] |
235 \frametitle{\begin{tabular}{c}Derivative of a Rexp\end{tabular}} |
238 \frametitle{\begin{tabular}{c}The Derivative of a Rexp\end{tabular}} |
236 |
239 |
237 \large |
240 \large |
238 If \bl{r} matches the string \bl{c::s}, what is a regular expression that matches \bl{s}?\bigskip\bigskip\bigskip\bigskip |
241 If \bl{r} matches the string \bl{c::s}, what is a regular expression that matches \bl{s}?\bigskip\bigskip\bigskip\bigskip |
239 |
242 |
240 \small |
243 \small |