\newcommand{\CELL}{\texttt{cell}}
\newcommand{\ROW}{\texttt{row}}
\newcommand{\SLDROP}{\blacktriangleleft}
-\newcommand{\SLDSCRIPT}{\blacktriangleleft_{s}}
\newcommand{\NLDROP}{\vartriangleleft}
-\newcommand{\RGROUP}{\vartriangleleft_{rg}}
-\newcommand{\NLDGP}{\vartriangleleft_{g}}
-\newcommand{\NLDSCRIPT}{\vartriangleleft_{s}}
-\newcommand{\NLDMACRO}{\vartriangleleft_{c}}
-\newcommand{\NLDTABLE}{\vartriangleleft_{t}}
+\newcommand{\RDROP}{\vartriangleright}
\begin{document}
\section{Right Drop Rules}
+\begin{description}
+
+ \item{\verb+cursor+}\\
+ replace the cursor with the $\RDROP$.
+
+\end{description}
+
\section{$\varepsilon$-rules}
\paragraph{Nromal Left Drop}
\begin{description}
+ \item{\verb+math/g[^#]/+$\NLDROP$}\\
+ repalce the $\NLDROP$ with the cursor.
+
%**************************************************************************************
%****************************** epsilon-rules with \NLDROP ****************************
%**************************************************************************************
\item{\verb+g[^#$]/+$\NLDROP$}\\
replace the \G{} node with the $\NLDROP$.
- % this rule overrides the one above
- \item{\verb+math/g[^#$]/+$\NLDROP$}\\
- replace the $\NLDROP$ with the cursor.
-
% this rule is overridden by the two ones below
\item{\verb+c/p[^#$]/+$\NLDROP$}\\
remove the $\NLDROP$ and insert it before the \PNODE{} node.
% special rules
- \item{\verb+math/g[^#*]/+$\NLDROP$}\\
- replace the $\NLDROP$ with the cursor.
-
% this rule is applicable to all macros.
\item{\verb+c[^#][p[*]]/+$\NLDROP$}\\
remove the $\NLDROP$ and insert it before the \CNODE{} node.
\item{\verb+math/+$\SLDROP$}\\
replace the $\SLDROP$ with the cursor.
- %************************ \SLDROP has neither preceding nor following nodes *****************************
+ \item{\verb+math/g[^#]/+$\NLDROP$}\\
+ replace the $\NLDROP$ with the cursor.
- % this rule overrides the one below
- \item{\verb+math/g[^#$]/+$\SLDROP$}\\
- replace the $\SLDROP$ with the cursor.
+ %************************ \SLDROP has neither preceding nor following nodes *****************************
\item{\verb+g[^#$]/+$\SLDROP$}\\
replace the \G{} node with the cursor.
\item{\verb+*[(i|n|o|s|c[!*])#]/+$\SLDROP$}\\
remove the $\SLDROP$ and replace the token with the cursor.
- \item{\verb+*[table#]/$\SLDROP$+}\\
+ \item{\verb+*[table#]/+$\SLDROP$}\\
remove the $\SLDROP$ and append the $\NLDROP_n$ as the last child of the \TABLE{} node.
\item{\verb+*[c#]/+$\SLDROP$}\\
%********** \SLDROP has no preceding node, but has following ones **************
- \item{\verb+math/g[^#*]/+$\SLDROP$}\\
- replace the $\SLDROP$ with the cursor.
-
\item{\verb+c[^#p][p(*)]/+$\SLDROP$}\\
remove the $\SLDROP$ and insert the cursor before the \CNODE{} node.
\item{\verb+g[@id][^#$]/+$\NLDROP_n$}\\
replace the \G{} node with the $\NLDROP_n$.
+ \item{$\NLDROP_n$}\\
+ replace the $\NLDROP_n$ with the cursor.
+
+\end{description}
+
+\paragraph{Right Drop}
+
+\begin{description}
+
+ %************************* \RDROP has at least a following node ****************************************
+
+ \item{\verb+c[#(i|n|o|s|c[!*])]/+$\RDROP$}\\
+ remove the $\RDROP$ and append it after the delimiter
+
+ \item{\verb+*[#(i|n|o|s|c[!*])]/+$\RDROP$}\\
+ remove the token and replace the $\RDROP$ with the cursor $\RDROP_n$.
+
+ % this rule is overridden by those ones above.
+ \item{\verb+*[#*]/+$\RDROP$}\\
+ remove the $\RDROP$ and append it as the first child of the following node.
+
+ %************************** \RDROP has neither following nor preceding nodes ******************************
+
+ \item{\verb+c[#$][!p[*]]/+$\RDROP$}\\
+ replace the \CNODE{} with the $\RDROP$.
+
+ \item{\verb+p[^#$]/+$\RDROP$}\\
+ move the $\RDROP$ after the \PNODE{} node.
+
+ \item{\verb+g[^#$]/+$\RDROP$}\\
+ replace the \G{} node with the $\RDROP$.
+
+\end{description}
+
+\paragraph{Normalize Right Drop}
+
+\begin{description}
+
+ % at the moment it's the only rule, defined for this symbol.
+ \item{\verb+g[@id][^#$]/+$\RDROP_n$}\\
+ replace the \G{} node with the $\RDROP_n$.
+
+ \item{$\RDROP_n$}\\
+ replace the $\RDROP$ with the cursor.
+
\end{description}
\paragraph{Advance}