On word transducers with origins

The origin semantics for transducers has been proposed 2014 by M. Bojanczyk, and shown to provide a machine independent characterization of regular word-to-word functions. Another nice feature of this semantics is that it helps to recover decidability for some basic problems. In this talk I will review various results about the decidability problem under the origin semantics and the resynchronisation formalism for regular word-to-word functions.

Authors

• Anca Muscholl

Keywords

No keywords are indexed for this paper.