Which classes of origin graphs are generated by transducers?

Bojanczyk, Mikołaj, Daviaud, Laure, Guillon, Bruno and Penelle, Vincent (2017) Which classes of origin graphs are generated by transducers? In: 44th International Colloquium on Automata, Languages, and Programming, ICALP 2017. Leibniz International Proceedings in Informatics, LIPIcs . Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, POL. ISBN 9783959770415

Full text not available from this repository.

Abstract

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.

Item Type:	Book Section
Additional Information:	Funding Information: This paper is part of lipa, a project funded by the European Research Council (erc) under the European Union's Horizon 2020 research and innovation programme (grant agreement No 683080). Publisher Copyright: © Mikołaj Bojanczyk, Laure Daviaud, Bruno Guillon, and Vincent Penelle;.
Uncontrolled Keywords:	mso definability,origin semantics,streaming string transducers,string-to-string transductions,software ,/dk/atira/pure/subjectarea/asjc/1700/1712
Related URLs:	http://www.scopus.com/inward/record.url?...
Depositing User:	LivePure Connector
Date Deposited:	08 Jun 2023 14:30
Last Modified:	08 Jun 2023 14:30
URI:	https://ueaeprints.uea.ac.uk/id/eprint/92346
DOI:	10.4230/LIPIcs.ICALP.2017.114

Actions (login required)

View Item