state transitions __initial _a a __initial->_a _d d enter ^out.in_d _c c enter ^out.in_c _c->_d f    _b b enter ^out.in_b _b->_c f    _a->_b e^f