A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä
The freeness problem over matrix semigroups and bounded languages
Tekijät: Émilie Charlier, Juha Honkala
Kustantaja: ACADEMIC PRESS INC ELSEVIER SCIENCE
Julkaisuvuosi: 2014
Journal: Information and Computation
Tietokannassa oleva lehden nimi: INFORMATION AND COMPUTATION
Lehden akronyymi: INFORM COMPUT
Vuosikerta: 237
Aloitussivu: 243
Lopetussivu: 256
Sivujen määrä: 14
ISSN: 0890-5401
DOI: https://doi.org/10.1016/j.ic.2014.03.001
We study the freeness problem for matrix semigroups. We show that the freeness problem is decidable for upper-triangular 2 x 2 matrices with rational entries when the products are restricted to certain bounded languages. We also show that this problem becomes undecidable for sufficiently large matrices. (C) 2014 Elsevier Inc. All rights reserved.
