Equivalence of finite-valued streaming string transducers is decidable
arXiv:1902.06973
Abstract
In this paper we provide a positive answer to a question left open by Alur and and Deshmukh in 2011 by showing that equivalence of finite-valued copyless streaming string transducers is decidable.