On the containment and equivalence problems for two-way transducers
We look at some classes of two-way transducers with auxiliary memory and investigate their containment and equivalence problems. We believe that our results are the strongest known to date concerning two-way transducers. (C) 2011 Elsevier B.V. All rights reserved.
equivalence problem two-way transducer containment problem