论文部分内容阅读
Synchronizing automata Definition:A(complete deterministic) automaton is synchronizing if there is a sequence of colors such that all the paths compatible with this sequence end in the same node.