state transitions __initial _a a __initial->_a _b b _a->_b in.e    _c c _b->_c f