Vector and scalar reachability problems in SL(2, Z)
This paper solves three open problems about the decidability of the vector and scalar reachability problems and the point to point reachability by fractional linear transformations over finitely generated semigroups of matrices from SL(2, Z). Our approach to solving these problems is based on the ch...
Main Authors: | Potapov, I, Semukhin, P |
---|---|
Format: | Journal article |
Published: |
Elsevier
2018
|
Similar Items
-
Vector reachability problem in SL (2, ℤ)
by: Potapov, I, et al.
Published: (2016) -
Membership problem in GL(2, Z) extended by singular matrices
by: Potapov, I, et al.
Published: (2017) -
On reachability problems for low-dimensional matrix semigroups
by: Colcombet, T, et al.
Published: (2019) -
Reachability problems in nondeterministic polynomial maps on the integers
by: Ko, SK, et al.
Published: (2018) -
Decidability of the membership problem for 2 x 2 integer matrices
by: Potapov, I, et al.
Published: (2017)