Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
×
Mar 29, 2021 · We introduce a notion of aperiodicity for these transducers and we show that aperiodic transducers correspond exactly to FO-transductions. This ...
We introduce a notion of aperiodicity for two-way transducers and we show that it corresponds to FO-transductions. By FO-transduction, we mean MSO-transduction ...
The notion of aperiodicity for these transducers is introduced and it is shown that aperiodic transducers correspond exactly to FO-transductions.
Sep 7, 2015 · We introduce a notion of aperiodicity for these transducers and we show that aperiodic transducers correspond exactly to FO-transductions. This ...
The definition of aperiodicity is achieved by associating a transition monoid with each two-way transducer. The construction of this algebraic object is already ...
Jul 20, 2023 · Abstract:We consider a notion of planarity for two-way finite automata and transducers, inspired by Temperley-Lieb monoids of planar ...
Missing: FO- | Show results with:FO-
FO transductions, aperiodic deterministic two-way transducers, as well as aperiodic streaming string transducers are all equivalent models for first order ...
Any first-order transduction can be computed by a reversible planar 2DFT. Let's start with aperiodic sequential functions (⊊ FO transductions). Sequential ...
FO transductions, aperiodic deterministic two-way transducers, as well as aperiodic streaming string transducers are all equivalent models for first order ...
The transducers we will introduce will define transductions. We will say that two transducers T,T0 are equivalent whenever they define the same transduction.