A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is
Lecture Notes in Computer Science
Let be a class of automata (in a precise sense to be defined) and be the class obtained by augmenting each automaton in with finitely many reversal-bounded counters. We show that if the languages defined by are effectively semilinear, then so are the languages defined by , and, hence, their emptiness problem is decidable. We give examples of how this result can be used to show the decidability of certain problems concerning the equivalence of morphisms on languages. We also prove a surprisingdoi:10.1007/3-540-48224-5_48 fatcat:gvlbyixy75exfj72xib7zzybly