In this paper, we present two concise representations of reversible automata. Both representations have a size comparable to 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 these representations it is possible to simulate the computations of reversible automata without explicitly writing down their complete descriptions.
Concise Representations of Reversible Automata / G.J. Lavado, L. Prigioniero. - In: INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE. - ISSN 0129-0541. - 30:6-7(2019 Sep), pp. 1157-1175. [10.1142/S0129054119400331]
Concise Representations of Reversible Automata
G.J. Lavado;L. Prigioniero
2019
Abstract
In this paper, we present two concise representations of reversible automata. Both representations have a size comparable to 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 these representations it is possible to simulate the computations of reversible automata without explicitly writing down their complete descriptions.File | Dimensione | Formato | |
---|---|---|---|
concise_revdfa.pdf
accesso aperto
Tipologia:
Post-print, accepted manuscript ecc. (versione accettata dall'editore)
Dimensione
371.96 kB
Formato
Adobe PDF
|
371.96 kB | Adobe PDF | Visualizza/Apri |
S0129054119400331.pdf
accesso aperto
Tipologia:
Post-print, accepted manuscript ecc. (versione accettata dall'editore)
Dimensione
440.64 kB
Formato
Adobe PDF
|
440.64 kB | Adobe PDF | Visualizza/Apri |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.