Cargando…

One-way Resynchronizability of Word Transducers

The origin semantics for transducers was proposed in 2014, and it led to various characterizations and decidability results that are in contrast with the classical semantics. In this paper we add a further decidability result for characterizing transducers that are close to one-way transducers in th...

Descripción completa

Detalles Bibliográficos
Autores principales: Bose, Sougata, Krishna, S. N., Muscholl, Anca, Puppis, Gabriele
Formato: Online Artículo Texto
Lenguaje:English
Publicado: 2021
Materias:
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7984121/
http://dx.doi.org/10.1007/978-3-030-71995-1_7