Nondeterministic:

Classifier:
   Q00 : { Q01, Q14 }           { $80 / ## }
   Q01 : { Q03 }              { $80 / ##, a / Q02, z+1 / ## }
   Q02 : { Q04 }              { $80 / ## }
   Q03 : { }                 { $80 / ##, A / Q04, Z+1 / ## }
   Q04 : { Q05 }              { $80 / ## }
   Q05 : { Q07, Q09, Q11, Q13 }     { $80 / ##, a / Q06, z+1 / ## }
   Q06 : { Q08 }              { $80 / ## }
   Q07 : { }                 { $80 / ##, A / Q08, Z+1 / ## }
   Q08 : { Q10 }              { $80 / ## }
   Q09 : { }                 { $80 / ##, 0 / Q10, 9+1 / ## }
   Q10 : { Q12 }              { $80 / ## }
   Q11 : { }                 { $80 / ##, _ / Q12, _+1 / ## }
   Q12 : { Q05 }              { $80 / ## }
   Q13 : { }                 { $80 / ## }      -> ident
   Q14 : { }                 { $80 / ##, w / Q15, w+1 / ## }
   Q15 : { }                 { $80 / ##, h / Q16, h+1 / ## }
   Q16 : { }                 { $80 / ##, i / Q17, i+1 / ## }
   Q17 : { }                 { $80 / ##, l / Q18, l+1 / ## }
   Q18 : { }                 { $80 / ##, e / Q19, e+1 / ## }
   Q19 : { }                 { $80 / ## }      -> while


Deterministic:

Classifier:
   Q00 : { }                 { $80 / ##, A / Q01, Z+1 / ##, a / Q02, w / Q03, x / Q02, z+1 / ## }
   Q01 : { }                 { $80 / ##, 0 / Q04, 9+1 / ##, A / Q05, Z+1 / ##, _ / Q06, _+1 / ##, a / Q07, z+1 / ## }      -> ident
   Q02 : { }                 { $80 / ##, 0 / Q04, 9+1 / ##, A / Q05, Z+1 / ##, _ / Q06, _+1 / ##, a / Q07, z+1 / ## }      -> ident
   Q03 : { }                 { $80 / ##, 0 / Q04, 9+1 / ##, A / Q05, Z+1 / ##, _ / Q06, _+1 / ##, a / Q07, h / Q08, i / Q07, z+1 / ## }      -> ident
   Q04 : { }                 { $80 / ##, 0 / Q04, 9+1 / ##, A / Q05, Z+1 / ##, _ / Q06, _+1 / ##, a / Q07, z+1 / ## }      -> ident
   Q05 : { }                 { $80 / ##, 0 / Q04, 9+1 / ##, A / Q05, Z+1 / ##, _ / Q06, _+1 / ##, a / Q07, z+1 / ## }      -> ident
   Q06 : { }                 { $80 / ##, 0 / Q04, 9+1 / ##, A / Q05, Z+1 / ##, _ / Q06, _+1 / ##, a / Q07, z+1 / ## }      -> ident
   Q07 : { }                 { $80 / ##, 0 / Q04, 9+1 / ##, A / Q05, Z+1 / ##, _ / Q06, _+1 / ##, a / Q07, z+1 / ## }      -> ident
   Q08 : { }                 { $80 / ##, 0 / Q04, 9+1 / ##, A / Q05, Z+1 / ##, _ / Q06, _+1 / ##, a / Q07, i / Q09, j / Q07, z+1 / ## }      -> ident
   Q09 : { }                 { $80 / ##, 0 / Q04, 9+1 / ##, A / Q05, Z+1 / ##, _ / Q06, _+1 / ##, a / Q07, l / Q10, m / Q07, z+1 / ## }      -> ident
   Q10 : { }                 { $80 / ##, 0 / Q04, 9+1 / ##, A / Q05, Z+1 / ##, _ / Q06, _+1 / ##, a / Q07, e / Q11, f / Q07, z+1 / ## }      -> ident
   Q11 : { }                 { $80 / ##, 0 / Q04, 9+1 / ##, A / Q05, Z+1 / ##, _ / Q06, _+1 / ##, a / Q07, z+1 / ## }      -> while


Minimization:

Classifier:
   Q00 : { }                 { $80 / ##, A / Q01, Z+1 / ##, a / Q01, w / Q02, x / Q01, z+1 / ## }
   Q01 : { }                 { $80 / ##, 0 / Q01, 9+1 / ##, A / Q01, Z+1 / ##, _ / Q01, _+1 / ##, a / Q01, z+1 / ## }      -> ident
   Q02 : { }                 { $80 / ##, 0 / Q01, 9+1 / ##, A / Q01, Z+1 / ##, _ / Q01, _+1 / ##, a / Q01, h / Q03, i / Q01, z+1 / ## }      -> ident
   Q03 : { }                 { $80 / ##, 0 / Q01, 9+1 / ##, A / Q01, Z+1 / ##, _ / Q01, _+1 / ##, a / Q01, i / Q04, j / Q01, z+1 / ## }      -> ident
   Q04 : { }                 { $80 / ##, 0 / Q01, 9+1 / ##, A / Q01, Z+1 / ##, _ / Q01, _+1 / ##, a / Q01, l / Q05, m / Q01, z+1 / ## }      -> ident
   Q05 : { }                 { $80 / ##, 0 / Q01, 9+1 / ##, A / Q01, Z+1 / ##, _ / Q01, _+1 / ##, a / Q01, e / Q06, f / Q01, z+1 / ## }      -> ident
   Q06 : { }                 { $80 / ##, 0 / Q01, 9+1 / ##, A / Q01, Z+1 / ##, _ / Q01, _+1 / ##, a / Q01, z+1 / ## }      -> while