In order to compute the derivational entropy as described in Section 4, it is necessary to guarantee that the automaton is consistent.
the weights of the edges in the WFA have to be normalized, because the normalization is a sufficient condition for the WFA to be consistent and to become a PFA if all states appear at least in one path.