6 states are used (ignoring state 0, the accept state, and state -1, the error state). They are used to recognize (in order): EndMarker number (nothing) special word special 22 categories of input are used, namely: digit alpha colon equals semicolon whitespace plus minus asterisk slash exclamation ampersand leftparen rightparen singlequote doublequote comma period lessthan greaterthan eof other 6 by 22 transition table (showing the new state for each state/category pair): 2 5 3 4 4 1 6 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 -1 -1 4 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0