2 citations · 2 across the 3 of their papers we have counts for
4 papers
Linear equations and recursively enumerable sets
Juha Honkala
We study connections between linear equations over various semigroups and recursively enumerable sets of positive integers. We give variants of the universal Diophantine representa…
Commuting upper triangular binary morphisms
Juha Honkala
A morphism from the free monoid into itself is called upper triangular if the matrix of is upper triangular. We characterize all upper triangular binary morphisms $g_…
The freeness problem over matrix semigroups and bounded languages
Émilie Charlier, Juha Honkala
We study the freeness problem for matrix semigroups. We show that the freeness problem is decidable for upper-triangular matrices with rational entries when the product…
The equality problem for infinite words generated by primitive morphisms
Juha Honkala
We study the equality problem for infinite words obtained by iterating morphisms. In particular, we give a practical algorithm to decide whether or not two words generated by primi…