On the undecidability of freeness of matrix semigroups

International Journal of Algebra and Computation

Volumn 9, Issue 3-4, 1999, Pages 295-305

  Cassaigne, Julien ^a   Harju, Tero ^b   Karhumäki, Juhani ^b  

^a AIX MARSEILLE UNIVERSITÉ   (France)

^b UNIVERSITY OF TURKU   (Finland)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0033461228     PISSN: 02181967     EISSN: None     Source Type: Journal    
DOI: 10.1142/s0218196799000199     Document Type: Article

References (7)

1. J. Berstel and D. Perrin, Theory of codes, Academic Press, 1986.
2. C. Choffrut, T. Harju and J. Karhumäki, A note on decidability questions in presentations of word semigroups, Theoret. Comput. Sci. 183 (1997), 83-92.
3. S. Eilenberg, Automata, Languages, and Machines, Academic Press, 1974.
4. T. Harju and J. Karhumäki, Morphisms, in Handbook of Formal Languages, eds. G. Rozenberg and A Salomaa, Springer Verlag, 1997, pp. 439-510.
5. D. A. Klarner, J.-C. Birget and W. Satterfield, On the undecidability of the freeness of integer matrix semigroups, Int. J. Algebra Comp. 1 (1991), 223-226.
6. Y. Matiyasevich and G. Sénizergues, Decision problems for semi Thue systems with a few rules, in Proceedings LICS'96, IEEE Computer Society Press, 1996, pp. 523-531.
7. M. S. Paterson, Unsolvability in 3 × 3 matrices, Studies Appl. Math. 49 (1970), 105-107.