Equivalence of Finite-Valued Streaming String Transducers Is Decidable

摘要

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.