deterministic:

Classifier:
   Q00 : { }                 { $80 / ##, $09 / Q01, $0A / Q02, $0A+1 / ##, $20 / Q03, ! / Q04, !+1 / ##, # / Q05, #+1 / ##, % / Q06, %+1 / ##, ( / Q07, ) / Q08, * / Q09, + / Q10, , / Q11, - / Q12, . / Q13, / / Q14, 0 / Q15, : / Q16, ; / Q17, ;+1 / ##, A / Q18, Z+1 / ##, a / Q19, z+1 / ## }
   Q01 : { }                 { $80 / ##, $09 / Q01, $0A / Q02, $0A+1 / ##, $20 / Q03, $20+1 / ## }      -> WHITESPACE
   Q02 : { }                 { $80 / ##, $09 / Q01, $0A / Q02, $0A+1 / ##, $20 / Q03, $20+1 / ## }      -> WHITESPACE
   Q03 : { }                 { $80 / ##, $09 / Q01, $0A / Q02, $0A+1 / ##, $20 / Q03, $20+1 / ## }      -> WHITESPACE
   Q04 : { }                 { $80 / ## }      -> FACTORIAL
   Q05 : { }                 { $80 / ## }      -> EOF
   Q06 : { }                 { $80 / ## }      -> MODULO
   Q07 : { }                 { $80 / ## }      -> LPAR
   Q08 : { }                 { $80 / ## }      -> RPAR
   Q09 : { }                 { $80 / ## }      -> TIMES
   Q10 : { }                 { $80 / ## }      -> PLUS
   Q11 : { }                 { $80 / ## }      -> COMMA
   Q12 : { }                 { $80 / ## }      -> MINUS
   Q13 : { }                 { $80 / ##, 0 / Q20, 9+1 / ## }
   Q14 : { }                 { $80 / ##, * / Q21, *+1 / ## }      -> DIVIDES
   Q15 : { }                 { $80 / ##, . / Q22, .+1 / ##, 0 / Q15, 9+1 / ##, E / Q23, E+1 / ##, e / Q24, e+1 / ## }      -> DOUBLE
   Q16 : { }                 { $80 / ##, = / Q25, =+1 / ## }
   Q17 : { }                 { $80 / ## }      -> SEMICOLON
   Q18 : { }                 { $80 / ##, 0 / Q26, 9+1 / ##, A / Q27, Z+1 / ##, _ / Q28, _+1 / ##, a / Q29, z+1 / ## }      -> IDENT
   Q19 : { }                 { $80 / ##, 0 / Q26, 9+1 / ##, A / Q27, Z+1 / ##, _ / Q28, _+1 / ##, a / Q29, z+1 / ## }      -> IDENT
   Q20 : { }                 { $80 / ##, 0 / Q20, 9+1 / ##, E / Q30, E+1 / ##, e / Q31, e+1 / ## }      -> DOUBLE
   Q21 : { }                 { $80 / Q32, * / Q33, + / Q32 }
   Q22 : { }                 { $80 / ##, 0 / Q34, 9+1 / ##, E / Q23, E+1 / ##, e / Q24, e+1 / ## }      -> DOUBLE
   Q23 : { }                 { $80 / ##, + / Q35, ++1 / ##, - / Q36, -+1 / ##, 0 / Q37, 9+1 / ## }
   Q24 : { }                 { $80 / ##, + / Q35, ++1 / ##, - / Q36, -+1 / ##, 0 / Q37, 9+1 / ## }
   Q25 : { }                 { $80 / ## }      -> ASSIGN
   Q26 : { }                 { $80 / ##, 0 / Q26, 9+1 / ##, A / Q27, Z+1 / ##, _ / Q28, _+1 / ##, a / Q29, z+1 / ## }      -> IDENT
   Q27 : { }                 { $80 / ##, 0 / Q26, 9+1 / ##, A / Q27, Z+1 / ##, _ / Q28, _+1 / ##, a / Q29, z+1 / ## }      -> IDENT
   Q28 : { }                 { $80 / ##, 0 / Q26, 9+1 / ##, A / Q27, Z+1 / ##, _ / Q28, _+1 / ##, a / Q29, z+1 / ## }      -> IDENT
   Q29 : { }                 { $80 / ##, 0 / Q26, 9+1 / ##, A / Q27, Z+1 / ##, _ / Q28, _+1 / ##, a / Q29, z+1 / ## }      -> IDENT
   Q30 : { }                 { $80 / ##, + / Q38, ++1 / ##, - / Q39, -+1 / ##, 0 / Q40, 9+1 / ## }
   Q31 : { }                 { $80 / ##, + / Q38, ++1 / ##, - / Q39, -+1 / ##, 0 / Q40, 9+1 / ## }
   Q32 : { }                 { $80 / Q32, * / Q33, + / Q32 }
   Q33 : { }                 { $80 / Q41, * / Q33, + / Q41, / / Q42, 0 / Q41 }
   Q34 : { }                 { $80 / ##, 0 / Q34, 9+1 / ##, E / Q23, E+1 / ##, e / Q24, e+1 / ## }      -> DOUBLE
   Q35 : { }                 { $80 / ##, 0 / Q37, 9+1 / ## }
   Q36 : { }                 { $80 / ##, 0 / Q37, 9+1 / ## }
   Q37 : { }                 { $80 / ##, 0 / Q43, 9+1 / ## }      -> DOUBLE
   Q38 : { }                 { $80 / ##, 0 / Q40, 9+1 / ## }
   Q39 : { }                 { $80 / ##, 0 / Q40, 9+1 / ## }
   Q40 : { }                 { $80 / ##, 0 / Q44, 9+1 / ## }      -> DOUBLE
   Q41 : { }                 { $80 / Q32, * / Q33, + / Q32 }
   Q42 : { }                 { $80 / ## }      -> COMMENT
   Q43 : { }                 { $80 / ##, 0 / Q45, 9+1 / ## }      -> DOUBLE
   Q44 : { }                 { $80 / ##, 0 / Q46, 9+1 / ## }      -> DOUBLE
   Q45 : { }                 { $80 / ## }      -> DOUBLE
   Q46 : { }                 { $80 / ## }      -> DOUBLE