702       $_{bs}(\textit{fuse}\, [Z] \; r\,\backslash c)\cdot

   702       $_{bs}(\textit{fuse}\, [Z] \; r\,\backslash c)\cdot

   703        (_{[]}r^*))$

   703        (_{[]}r^*))$

   704 \end{tabular}    

   704 \end{tabular}    

   705 \end{center}    

   705 \end{center}    

   706 \noindent

   706 \noindent

   707 The $\bder$ function tells us how regular expressions can be recursively traversed,

   708 The $\bder$ function tells us how regular expressions can be recursively traversed,

   708 where the bitcodes are augmented and carried around 

   709 where the bitcodes are augmented and carried around 

   709 when a derivative is taken.

   710 when a derivative is taken.

   710 We give the intuition behind some of the more involved cases in 

   711 We give the intuition behind some of the more involved cases in 

   711 $\bder$.

   712 $\bder$.