equal
deleted
inserted
replaced
276 |
276 |
277 \begin{itemize} |
277 \begin{itemize} |
278 \item new regex: \bl{$(x:r)$}\hspace{7mm}new value: \bl{$Rec(x,v)$}\medskip\pause |
278 \item new regex: \bl{$(x:r)$}\hspace{7mm}new value: \bl{$Rec(x,v)$}\medskip\pause |
279 |
279 |
280 \item \bl{$nullable(x:r) \dn nullable(r)$} |
280 \item \bl{$nullable(x:r) \dn nullable(r)$} |
281 \item \bl{$der\,c\,(x:r) \dn (x:der\,c\,r)$} |
281 \item \bl{$der\,c\,(x:r) \dn der\,c\,r$} |
282 \item \bl{$mkeps(x:r) \dn Rec(x, mkeps(r))$} |
282 \item \bl{$mkeps(x:r) \dn Rec(x, mkeps(r))$} |
283 \item \bl{$inj\,(x:r)\,c\,Rec(x, v) \dn Rec(x, inj\,r\,c\,v)$} |
283 \item \bl{$inj\,(x:r)\,c\,v \dn Rec(x, inj\,r\,c\,v)$} |
284 \end{itemize}\bigskip\bigskip\pause |
284 \end{itemize}\bigskip\bigskip\pause |
285 |
285 |
286 \small |
286 \small |
287 for extracting subpatterns \bl{$(z: ((x:ab) + (y:ba))$} |
287 for extracting subpatterns \bl{$(z: ((x:ab) + (y:ba))$} |
288 |
288 |