Paper published in a book (Scientific congresses and symposiums)
The freeness problem for products of matrices defined on bounded languages
Charlier, Emilie; Honkala, Juha
2014In Actes des Journées Montoises d'Informatique Théorique
Peer reviewed
 

Files


Full Text
JM14-Charlier-Honkala-soumission.pdf
Author preprint (220.46 kB)
abstract
Download
Full Text Parts
JM2014-expose.pdf
Author preprint (215.95 kB)
exposé
Download

All documents in ORBi are protected by a user license.

Send to



Details



Keywords :
Matrix semigroup; Freeness problem; Bounded language; Representation of rational numbers; Decidability
Abstract :
[en] In this talk, I presented a joint work with Juha Honkala. We study the freeness problem for matrix semigroups. We show that the freeness problem is decidable for upper-triangular 2x2 matrices with rational entries when the products are restricted to certain bounded languages. We also show that this problem becomes undecidable for large enough matrices.
Disciplines :
Mathematics
Author, co-author :
Charlier, Emilie  ;  Université de Liège - ULiège > Département de mathématique > Mathématiques discrètes
Honkala, Juha
Language :
English
Title :
The freeness problem for products of matrices defined on bounded languages
Publication date :
September 2014
Event name :
15èmes Journées Montoises d'Informatique Théorique
Event place :
Nancy, France
Event date :
du 23 septembre au 26 septembre 2014
Audience :
International
Main work title :
Actes des Journées Montoises d'Informatique Théorique
Peer reviewed :
Peer reviewed
Available on ORBi :
since 28 October 2014

Statistics


Number of views
47 (2 by ULiège)
Number of downloads
49 (4 by ULiège)

Bibliography


Similar publications



Contact ORBi