55 \def\internalise{\textit{internalise}}

    55 \def\internalise{\textit{internalise}}

    56 \def\lexer{\mathit{lexer}}

    56 \def\lexer{\mathit{lexer}}

    57 \def\mkeps{\textit{mkeps}}

    57 \def\mkeps{\textit{mkeps}}

    58 \newcommand{\rder}[2]{#2 \backslash_r #1}

    58 \newcommand{\rder}[2]{#2 \backslash_r #1}

    59 

    59 

    60 \def\nonnested{\textit{nonnested}}

    62 \def\nonnested{\textit{nonnested}}

    61 \def\AZERO{\textit{AZERO}}

    63 \def\AZERO{\textit{AZERO}}

    62 \def\sizeNregex{\textit{sizeNregex}}

    64 \def\sizeNregex{\textit{sizeNregex}}

    63 \def\AONE{\textit{AONE}}

    65 \def\AONE{\textit{AONE}}

    64 \def\ACHAR{\textit{ACHAR}}

    66 \def\ACHAR{\textit{ACHAR}}

    65 

    69 

    66 \def\scfrewrites{\stackrel{*}{\rightsquigarrow_{scf}}}

    70 \def\scfrewrites{\stackrel{*}{\rightsquigarrow_{scf}}}

    67 \def\frewrite{\rightsquigarrow_f}

    71 \def\frewrite{\rightsquigarrow_f}

    68 \def\hrewrite{\rightsquigarrow_h}

    72 \def\hrewrite{\rightsquigarrow_h}

    69 \def\grewrite{\rightsquigarrow_g}

    73 \def\grewrite{\rightsquigarrow_g}