Reversible Pushdown Transducers - Archive ouverte HAL
Article Dans Une Revue Information and Computation Année : 2021

Reversible Pushdown Transducers

Résumé

Deterministic pushdown transducers are studied with respect to their ability to compute reversible transductions, that is, to transform inputs into outputs in a reversible way. This means that the transducers are also backward deterministic and thus are able to uniquely step the computation back and forth. The families of transductions computed are classified with regard to four types of lengthpreserving transductions as well as to the property of working reversibly. It turns out that accurate to one case separating witness transductions can be provided. For the remaining case it is possible to establish the equivalence of both families by proving that stationary moves can always be removed in length-preserving reversible pushdown transductions.
Fichier principal
Vignette du fichier
ic-revision.pdf (370.29 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence

Dates et versions

hal-04093721 , version 1 (10-05-2023)

Licence

Identifiants

Citer

Bruno Guillon, Martin Kutrib, Andreas Malcher, Luca Prigioniero. Reversible Pushdown Transducers. Information and Computation, 2021, 281, pp.104813. ⟨10.1016/j.ic.2021.104813⟩. ⟨hal-04093721⟩
22 Consultations
57 Téléchargements

Altmetric

Partager

More