10. The device of claim 9, further comprising: a module configured to remove inaccessible ones of the states using a depth-first search of the transducer. 11. The device of claim 9, wherein adding to each of the outgoing transitions leaving ones of the set of states “p” a non-empty...