Elementary Homomorphisms and a Solution of the DOL Sequence Equivalence Problem ; CU-CS-115-77
Andrzej Ehrenfeucht, Grzegorz Rozenberg · CU Scholar (University of Colorado Boulder) · 1977
This paper continues the research (started in [3]) on elementary DOL systems. In particular we provide an alternative (and simpler than the one presented in [1]) proof that the DOL sequence equivalence problem is decidable.