1: \begin{abstract}

2: The decision problems on matrices were intensively studied for many decades as

3: matrix products play an essential role in the representation of various

4: computational processes.

5: However, many computational problems

6: for matrix semigroups are inherently difficult to solve even for problems

7: in low dimensions and most matrix semigroup problems become undecidable

8: in general starting from dimension three or four.

9: 

10: This paper solves two open problems about the decidability

11: of the vector reachability problem over a finitely generated semigroup of matrices

12: from $\SL$ and the point to point reachability (over rational numbers)

13: for fractional linear transformations, where associated matrices

14: are from $\SL$. The approach to solving reachability problems is

15: based on the characterization of reachability paths between points which is followed

16: by the translation of numerical problems on matrices into computational

17: and combinatorial problems on words and formal languages.

18: We also give a geometric interpretation of reachability paths and extend the

19: decidability results to matrix products represented by arbitrary

20: labelled directed graphs.

21: Finally, we will use this technique to prove that a special case of the scalar reachability problem is decidable.

22:  \end{abstract}

23: