The top documents tagged [state sequence of fsm]