symbolic_dynamics.sofic.
are_shifts_equal_sync
Returns True iff the shift presnted by G is equivalent to the shift presented by H.
Requires G and H to be synchronizing for the return value to be correct.