equal
deleted
inserted
replaced
983 |
983 |
984 \begin{itemize} |
984 \begin{itemize} |
985 \item new regex: \bl{$(x:r)$}\hspace{7mm}new value: \bl{$Rec(x,v)$}\medskip\pause |
985 \item new regex: \bl{$(x:r)$}\hspace{7mm}new value: \bl{$Rec(x,v)$}\medskip\pause |
986 |
986 |
987 \item \bl{$nullable(x:r) \dn nullable(r)$} |
987 \item \bl{$nullable(x:r) \dn nullable(r)$} |
988 \item \bl{$der\,c\,(x:r) \dn (x:der\,c\,r)$} |
988 \item \bl{$der\,c\,(x:r) \dn der\,c\,r$} |
989 \item \bl{$mkeps(x:r) \dn Rec(x, mkeps(r))$} |
989 \item \bl{$mkeps(x:r) \dn Rec(x, mkeps(r))$} |
990 \item \bl{$inj\,(x:r)\,c\,v \dn Rec(x, inj\,r\,c\,v)$} |
990 \item \bl{$inj\,(x:r)\,c\,v \dn Rec(x, inj\,r\,c\,v)$} |
991 \end{itemize}\bigskip\bigskip\pause |
991 \end{itemize}\bigskip\bigskip\pause |
992 |
992 |
993 \small |
993 \small |