91影视

A synchronizing word or reset sequence is a word in the input alphabet of the deterministic finite automata that sends any state of the deterministic finite automata to one and the same state. That is, if an ensemble of copies of the deterministic finite automata are each started in different states, and all of the copies process the synchronizing word, they will all end up in the same state. Not every deterministic finite automata has a synchronizing word; for instance, a deterministic finite automata with two states, one for words of even length and one for words of odd length, can never be synchronized.

Here as from the question$M=\left(Q,危,未,q_0,F\right)$be a deterministic finite automata and h be a state of M called its 鈥渉ome鈥�.

And a synchronizing sequence for M is given.Let$M=\left(Q,危,未,q_0,F\right)$be a deterministic finite automata and let $q\text{'}$be a state of M called its "home".

A Synchronizing sequence for M and $q\text{'}$is a string $s鈭�危*$ where $未(q,s)=q\text{'}$for every$s鈭�危*$(We actually have extended $未$to strings so that $未(q,s)$equals the state where M ends up when M starts at state and reads input).

Say that M is Synchronizableif it has a synchronizing sequence for some state$q\text{'}$.

M' more interested in proving that the synchronized sequence is of length of at most then trying to improve upon this bound. There exists

In which$\left|w\right|猢�k^2\left|w\right|猢�k^{2}sothat:未(q_1,w)=未(q_2,w)未\left(q_1,w\right)=未\left(q_2,w\right)$ for two distinct states in M : (thus, M can be read from two states in the automaton and get to the same final state).
If I prove it, I could construct a word M which will be a synchronizing sequence in M and $\left|w\right|猢�k^3$ as required.

Consider two states and then claim the following:

If there exists a word ww such that $未\left(q_1,w\right)=未\left(q_2,w\right),$ then there is such a word of length at most $k^2$.

The proof of this a standard shrinking argument: if such a word is longer than$k^2$, then during the runs from two states a pair of states repeats, and we can shrink w.

Now, since you assume the existence of a synchronizing word for all states, now proceed to construct a word that synchronizes all the states, pair by pair