1: \begin{abstract}

2: We introduce two generalizations of synchronizability to automata with transitions weighted in an arbitrary semiring $\bK=(K,+,\cdot,0,1)$.

3: (or equivalently, to finite sets of matrices in $\bK^{n\times n}$.)

4: Let us call a matrix $A$ location-synchronizing if there exists a column in $A$ consisting of nonzero entries such that all the other columns of $A$ are filled by zeros.

5: If additionally all the entries of this designated column are the same, we call $A$ synchronizing.

6: Note that these notions coincide for stochastic matrices and also in the Boolean semiring.

7: A set $\mathcal{M}$ of matrices in $K^{n\times n}$ is called (location-)synchronizing if $\mathcal{M}$ generates a matrix subsemigroup containing a (location-)synchronizing matrix.

8: The $\bK$-(location-)synchronizability problem is the following: given a finite set $\mathcal{M}$ of $n\times n$ matrices with entries in $\bK$,

9: is it (location-)synchronizing? 

10: Both problems are PSPACE-hard for any nontrivial semiring.

11: We give sufficient conditions for the semiring $\bK$ when the problems are PSPACE-complete and show several undecidability results as well, e.g. synchronizability is undecidable if $1$ has infinite order in $(K,+,0)$ or when the free semigroup on two generators can be embedded into $(K,\cdot,1)$.

12: \end{abstract}

13: