477 attach bits to the front of an annotated regular expression. Its |
477 attach bits to the front of an annotated regular expression. Its |
478 definition is as follows: |
478 definition is as follows: |
479 |
479 |
480 \begin{center} |
480 \begin{center} |
481 \begin{tabular}{lcl} |
481 \begin{tabular}{lcl} |
482 $\textit{fuse}\;bs\,(\textit{ZERO})$ & $\dn$ & $\textit{ZERO}$\\ |
482 $\textit{fuse}\;bs \; \ZERO$ & $\dn$ & $\ZERO$\\ |
483 $\textit{fuse}\;bs\,(\textit{ONE}\,bs')$ & $\dn$ & |
483 $\textit{fuse}\;bs\; _{bs'}\ONE$ & $\dn$ & |
484 $\textit{ONE}\,(bs\,@\,bs')$\\ |
484 $_{bs @ bs'}\ONE$\\ |
485 $\textit{fuse}\;bs\,(\textit{CHAR}\,bs'\,c)$ & $\dn$ & |
485 $\textit{fuse}\;bs\;_{bs'}{\bf c}$ & $\dn$ & |
486 $\textit{CHAR}\,(bs\,@\,bs')\,c$\\ |
486 $_{bs@bs'}{\bf c}$\\ |
487 $\textit{fuse}\;bs\,(\textit{ALTS}\,bs'\,as)$ & $\dn$ & |
487 $\textit{fuse}\;bs\,_{bs'}\oplus\textit{as}$ & $\dn$ & |
488 $\textit{ALTS}\,(bs\,@\,bs')\,as$\\ |
488 $_{bs@bs'}\oplus\textit{as}$\\ |
489 $\textit{fuse}\;bs\,(\textit{SEQ}\,bs'\,a_1\,a_2)$ & $\dn$ & |
489 $\textit{fuse}\;bs\; _{bs'}a_1\cdot a_2$ & $\dn$ & |
490 $\textit{SEQ}\,(bs\,@\,bs')\,a_1\,a_2$\\ |
490 $_{bs@bs'}a_1 \cdot a_2$\\ |
491 $\textit{fuse}\;bs\,(\textit{STAR}\,bs'\,a)$ & $\dn$ & |
491 $\textit{fuse}\;bs\,_{bs'}a^*$ & $\dn$ & |
492 $\textit{STAR}\,(bs\,@\,bs')\,a$ |
492 $_{bs @ bs'}a^*$ |
493 \end{tabular} |
493 \end{tabular} |
494 \end{center} |
494 \end{center} |
495 |
495 |
496 \noindent |
496 \noindent |
497 After internalising the regular expression, we perform successive |
497 After internalising the regular expression, we perform successive |