Accessibility properties can be checked on any type of (weighted) automaton or transducer.