add example DFA drawings to illustrate removing sink states