Concise Representations of Reversible Automata - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2017

Concise Representations of Reversible Automata

Résumé

We present two concise representations of reversible automata. Both representations have a size which is comparable with the size of the minimum equivalent deterministic automaton and can be exponentially smaller than the size of the explicit representations of corresponding reversible automata. Using those representations it is possible to simulate the computations of reversible automata without explicitly writing down their complete descriptions.
Fichier principal
Vignette du fichier
440206_1_En_19_Chapter.pdf (335.15 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-01657009 , version 1 (06-12-2017)

Licence

Identifiants

Citer

Giovanna J. Lavado, Luca Prigioniero. Concise Representations of Reversible Automata. 19th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2017, Milano, Italy. pp.238-249, ⟨10.1007/978-3-319-60252-3_19⟩. ⟨hal-01657009⟩
45 Consultations
72 Téléchargements

Altmetric

Partager

More