minimization: Classifier: Q00 : { } { $80 / ##, $09 / Q01, $0A+1 / ##, $20 / Q01, ! / Q02, !+1 / ##, # / Q03, #+1 / ##, % / Q04, %+1 / ##, ( / Q05, ) / Q06, * / Q07, + / Q08, , / Q09, - / Q10, . / Q11, / / Q12, 0 / Q13, : / Q14, ; / Q15, ;+1 / ##, A / Q16, Z+1 / ##, a / Q16, z+1 / ## } Q01 : { } { $80 / ##, $09 / Q01, $0A+1 / ##, $20 / Q01, $20+1 / ## } -> WHITESPACE Q02 : { } { $80 / ## } -> FACTORIAL Q03 : { } { $80 / ## } -> EOF Q04 : { } { $80 / ## } -> MODULO Q05 : { } { $80 / ## } -> LPAR Q06 : { } { $80 / ## } -> RPAR Q07 : { } { $80 / ## } -> TIMES Q08 : { } { $80 / ## } -> PLUS Q09 : { } { $80 / ## } -> COMMA Q10 : { } { $80 / ## } -> MINUS Q11 : { } { $80 / ##, 0 / Q17, 9+1 / ## } Q12 : { } { $80 / ##, * / Q18, *+1 / ## } -> DIVIDES Q13 : { } { $80 / ##, . / Q17, .+1 / ##, 0 / Q13, 9+1 / ##, E / Q19, E+1 / ##, e / Q19, e+1 / ## } -> DOUBLE Q14 : { } { $80 / ##, = / Q20, =+1 / ## } Q15 : { } { $80 / ## } -> SEMICOLON Q16 : { } { $80 / ##, 0 / Q16, 9+1 / ##, A / Q16, Z+1 / ##, _ / Q16, _+1 / ##, a / Q16, z+1 / ## } -> IDENT Q17 : { } { $80 / ##, 0 / Q17, 9+1 / ##, E / Q19, E+1 / ##, e / Q19, e+1 / ## } -> DOUBLE Q18 : { } { $80 / Q18, * / Q21, + / Q18 } Q19 : { } { $80 / ##, + / Q22, ++1 / ##, - / Q22, -+1 / ##, 0 / Q23, 9+1 / ## } Q20 : { } { $80 / ## } -> ASSIGN Q21 : { } { $80 / Q18, * / Q21, + / Q18, / / Q24, 0 / Q18 } Q22 : { } { $80 / ##, 0 / Q23, 9+1 / ## } Q23 : { } { $80 / ##, 0 / Q25, 9+1 / ## } -> DOUBLE Q24 : { } { $80 / ## } -> COMMENT Q25 : { } { $80 / ##, 0 / Q26, 9+1 / ## } -> DOUBLE Q26 : { } { $80 / ## } -> DOUBLE