Systems and methods for determining the determinizability of finite-state automata and transducers

摘要: Finite-state transducers and weighted finite-state automata may not be determinizable. The twins property can used to characterize the determinizability of such devices. For a automaton or transducer, that transducer its inverse are intersected composed, respectively. resulting device is checked determine if it has cycle-identity property. If not, original unweighted functional. That then composed with inverse. every edge in having cycle-accessible end state meets at least one number conditions. so, property,