equal
deleted
inserted
replaced
555 |
555 |
556 \inferrule * [Right = $L\ZERO$] {\vspace{0em}}{\ZERO :: rs \stackrel{s}{\rightsquigarrow} rs} |
556 \inferrule * [Right = $L\ZERO$] {\vspace{0em}}{\ZERO :: rs \stackrel{s}{\rightsquigarrow} rs} |
557 |
557 |
558 \inferrule * [Right = $LS$] {\vspace{0em}}{_{bs} \sum (rs_1 :: rs_b) \stackrel{s}{\rightsquigarrow} ((\map \; (\fuse \; bs_1) \; rs_1) @ rsb) } |
558 \inferrule * [Right = $LS$] {\vspace{0em}}{_{bs} \sum (rs_1 :: rs_b) \stackrel{s}{\rightsquigarrow} ((\map \; (\fuse \; bs_1) \; rs_1) @ rsb) } |
559 |
559 |
560 \inferrule * [Right = $LD$] {\\ \rerase{a_1} = \rerase{a_2}}{rs_a @ [a_1] @ rs_b @ [a_2] @ rsc \stackrel{s}{\rightsquigarrow} rs_a @ [a_1] @ rs_b @ rs_c} |
560 \inferrule * [Right = $LD$] {\\ \rerase{a_1} = \rerase{a_2}}{rs_a @ [a_1] @ rs_b @ [a_2] @ rs_c \stackrel{s}{\rightsquigarrow} rs_a @ [a_1] @ rs_b @ rs_c} |
561 |
561 |
562 \end{mathpar} |
562 \end{mathpar} |
563 \caption{ |
563 \caption{ |
564 The rewrite rules that generate simplified regular expressions |
564 The rewrite rules that generate simplified regular expressions |
565 in small steps: $r_1 \rightsquigarrow r_2$ is for bitcoded regular expressions |
565 in small steps: $r_1 \rightsquigarrow r_2$ is for bitcoded regular expressions |