subset blah a b c d e f g h i j k l m machine "two-digit-states" rejecting state one a:a two a:b two a:c two a:d two a:e two a:f two a:g two a:h two a:i two a:j two a:k two a:l two a:m two others reject rejecting state two a:a three others reject rejecting state three a:a four others reject rejecting state four a:a five others reject state five a:a six others reject rejecting state six a:a seven others reject rejecting state seven a:a eight others reject rejecting state eight a:a nine others reject rejecting state nine a:a ten others reject rejecting state ten a:a eleven others reject rejecting state eleven a:a twelve others reject state twelve a:a one others reject