文章基本信息

标题：Which Classes of Origin Graphs Are Generated by Transducers
本地全文：下载
作者：Mikolaj Bojanczyk ; Laure Daviaud ; Bruno Guillon 等
期刊名称：LIPIcs : Leibniz International Proceedings in Informatics
电子版ISSN：1868-8969
出版年度：2017
卷号：80
页码：114:1-114:13
DOI：10.4230/LIPIcs.ICALP.2017.114
出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
摘要：We study various models of transducers equipped with origin information. We consider the semantics of these models as particular graphs, called origin graphs, and we characterise the families of such graphs recognised by streaming string transducers.
关键词：Streaming String Transducers; Origin Semantics; String-to-String Transductions; MSO Definability