Function rustfst::algorithms::isomorphic

pub fn isomorphic<W, F1, F2>(fst_1: &F1, fst_2: &F2) -> Result<bool> where
    W: Semiring,
    F1: ExpandedFst<W>,
    F2: ExpandedFst<W>, 

This operation determines if two transducers with a certain required determinism have the same states, irrespective of numbering, and the same transitions with the same labels and weights, irrespective of ordering.

In other words, Isomorphic(A, B) is true if and only if the states of A can be renumbered and the transitions leaving each state reordered so that Equal(A, B) is true.