33 \renewcommand{\isasymiota}{\makebox[0mm]{${}^{\prime}$}}

    33 \renewcommand{\isasymiota}{\makebox[0mm]{${}^{\prime}$}}

    34 \renewcommand{\isasymin}{\ensuremath{\,\in\,}}

    34 \renewcommand{\isasymin}{\ensuremath{\,\in\,}}

    35 

    35 

    36 \addtolength{\oddsidemargin}{-1.5mm}

    36 \addtolength{\oddsidemargin}{-1.5mm}

    37 \addtolength{\evensidemargin}{-1.5mm}

    37 \addtolength{\evensidemargin}{-1.5mm}

    40 

    40 

    41 \def\lexer{\mathit{lexer}}

    41 \def\lexer{\mathit{lexer}}

    42 \def\mkeps{\mathit{mkeps}}

    42 \def\mkeps{\mathit{mkeps}}

    43 \def\inj{\mathit{inj}}

    43 \def\inj{\mathit{inj}}

    44 \def\Empty{\mathit{Empty}}

    44 \def\Empty{\mathit{Empty}}