1: \begin{abstract}

2: Weighted automata over the tropical semiring $\Zm = (\Z\cup\{-\infty\},\max,+)$ are closely 

3: related to finitely generated semigroups of matrices over $\Zm$. 

4: In this paper, we use results

5: in automata theory to study two quantities associated with sets of matrices: the joint 

6: spectral radius and the ultimate rank. We prove that these two quantities are 

7: not computable over the tropical semiring, \ie there is no algorithm that 

8: takes as input a finite set of matrices $\Gamma$ and provides as output

9: the joint spectral radius \resp{the ultimate rank} of $\Gamma$. 

10: On the other hand, we prove that the 

11: joint spectral radius is nevertheless approximable and we exhibit restricted cases in which 

12: the joint spectral radius and the ultimate rank are computable. 

13: To reach this aim, we study the problem of comparing functions computed by 

14: weighted automata over the tropical 

15: semiring. This problem is known to be undecidable, and we prove that it remains 

16: undecidable in some specific subclasses of automata.

17: \end{abstract}

18: