272 \begin{itemize} |
272 \begin{itemize} |
273 \item new regex: \bl{$(x:r)$}\hspace{7mm}new value: |
273 \item new regex: \bl{$(x:r)$}\hspace{7mm}new value: |
274 \bl{$Rec(x,v)$}\medskip |
274 \bl{$Rec(x,v)$}\medskip |
275 |
275 |
276 \item \bl{$nullable(x:r) \dn nullable(r)$} |
276 \item \bl{$nullable(x:r) \dn nullable(r)$} |
277 \item \bl{$der\,c\,(x:r) \dn (x:der\,c\,r)$} |
277 \item \bl{$der\,c\,(x:r) \dn der\,c\,r$} |
278 \item \bl{$mkeps(x:r) \dn Rec(x, mkeps(r))$} |
278 \item \bl{$mkeps(x:r) \dn Rec(x, mkeps(r))$} |
279 \item \bl{$inj\,(x:r)\,c\,v \dn Rec(x, inj\,r\,c\,v)$} |
279 \item \bl{$inj\,(x:r)\,c\,v \dn Rec(x, inj\,r\,c\,v)$} |
280 \end{itemize}\bigskip\bigskip |
280 \end{itemize}\bigskip\bigskip |
281 |
281 |
282 \small |
282 \small |
707 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
707 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
708 \begin{frame}[t] |
708 \begin{frame}[t] |
709 \frametitle{Parse Trees} |
709 \frametitle{Parse Trees} |
710 \mbox{}\\[-16mm] |
710 \mbox{}\\[-16mm] |
711 |
711 |
712 \bl{\begin{plstx}: \meta{E} ::= \meta{F} | \meta{F} \cdot * \cdot \meta{F}\\ |
712 \bl{\begin{plstx}: \meta{E} ::= \meta{F} | \meta{T} \cdot + \cdot \meta{E} | \meta{T} \cdot - \cdot \meta{E}\\ |
713 : \meta{F} ::= \meta{T} | \meta{T} \cdot + \cdot \meta{T} | \meta{T} \cdot - \cdot \meta{T}\\ |
713 : \meta{T} ::= \meta{F} | \meta{F} \cdot * \cdot \meta{T}\\ |
714 : \meta{T} ::= num\_token | ( \cdot \meta{E} \cdot )\\ |
714 : \meta{F} ::= num\_token | ( \cdot \meta{E} \cdot )\\ |
715 \end{plstx}} |
715 \end{plstx}} |
716 |
716 |
717 \begin{center}\small |
717 \begin{center}\small |
718 \begin{tikzpicture}[level distance=8mm, blue] |
718 \begin{tikzpicture}[level distance=8mm, blue] |
719 \node {$\meta{E}$} |
719 \node {$\meta{E}$} |
720 child {node {$\meta{F}$} |
720 child {node {$\meta{T}$} |
721 child {node {$\meta{T}$} |
721 child {node {$\meta{T}$} |
722 child {node {(\,$\meta{E}$\,)} |
722 child {node {(\,$\meta{E}$\,)} |
723 child {node{$\meta{F}$ *{} $\meta{F}$} |
723 child {node{$\meta{F}$ *{} $\meta{F}$} |
724 child {node {$\meta{T}$} child {node {2}}} |
724 child {node {$\meta{T}$} child {node {2}}} |
725 child {node {$\meta{T}$} child {node {3}}} |
725 child {node {$\meta{T}$} child {node {3}}} |