Remarks concerning the freeness problem over morphism and matrix semigroups - UTU Tutkimustietojärjestelmä

A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä

Remarks concerning the freeness problem over morphism and matrix semigroups

Tekijät: Juha Honkala

Kustantaja: ELSEVIER SCIENCE BV

Julkaisuvuosi: 2014

Journal: Theoretical Computer Science

Tietokannassa oleva lehden nimi: THEORETICAL COMPUTER SCIENCE

Lehden akronyymi: THEOR COMPUT SCI

Vuosikerta: 557

Aloitussivu: 115

Lopetussivu: 119

Sivujen määrä: 5

ISSN: 0304-3975

DOI: https://doi.org/10.1016/j.tcs.2014.08.013

Tiivistelmä

We study the freeness problem over morphism and matrix semigroups. We show that the freeness problem is undecidable for morphisms over a three-letter alphabet. We show that there is a commutative semiring R such that the freeness problem is undecidable for upper-triangular 2 x 2 matrices having entries in R. (C) 2014 Elsevier B.V. All rights reserved.