Dominoes over a free monoid

Karel Culik, Tero Harju
1982 Theoretical Computer Science  
Dominoes over a free monoid and operations on them are introduced. Related algebraic systems and their applications to decidability problems about morphisms on free monoilds are studied. A new simple algorithm for testing DOL sequence equivalence is presented.
doi:10.1016/0304-3975(82)90070-6 fatcat:lhbazq4vmfg65jv7godjfdbzcu