FSA_helper: accessible, post-accessible, useful, reachable states