On Synthesis of Resynchronizers for Transducers
From MaRDI portal
Publication:5092432
DOI10.4230/LIPIcs.MFCS.2019.69OpenAlexW2970949177MaRDI QIDQ5092432
Gabriele Puppis, Vincent Penelle, Anca Muscholl, Shankara Narayanan Krishna, Sougata Bose
Publication date: 21 July 2022
Full work available at URL: https://arxiv.org/abs/1906.08688
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Single-valued a-transducers
- Squaring transducers: An efficient procedure for deciding functionality and sequentiality.
- Multitape one-way nonwriting automata
- Expressiveness of Streaming String Transducers
- Decomposing a $k$-valued transducer into $k$ unambiguous ones
- The Unsolvability of the Equivalence Problem for $\varepsilon $-Free NGSM’s with Unary Input (Output) Alphabet and Applications
- On equivalence and uniformisation problems for finite transducers
- Origin-equivalence of two-way word transducers is in PSPACE
- Transducers with Origin Information
- UNAMBIGUOUS CONSTRAINED AUTOMATA
- On Relations Defined by Generalized Finite Automata
- The unsolvability of the Equivalence Problem for Λ-Free nondeterministic generalized machines
