文章基本信息

标题：Equivalence of Finite-Valued Streaming String Transducers Is Decidable
本地全文：下载
作者：Anca Muscholl ; Gabriele Puppis
期刊名称：LIPIcs : Leibniz International Proceedings in Informatics
电子版ISSN：1868-8969
出版年度：2019
卷号：132
页码：1-15
DOI：10.4230/LIPIcs.ICALP.2019.122
出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
摘要：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.
关键词：String transducers; equivalence; Ehrenfeucht conjecture