On the construction of reversible automata for reversible languages - Archive ouverte HAL Access content directly
Conference Papers Year : 2002

On the construction of reversible automata for reversible languages

Abstract

Reversible languages occur in many different domains. Although the decision for the membership of reversible languages was solved in 1992 by Pin, an effective construction of a reversible automaton for a reversible language was still unknown. We give in this paper a method to compute a reversible automaton from the minimal automaton of a reversible language. With this intention, we use the universal automaton of the language that can be obtained from the minimal automaton and that contains an equivalent automaton which is quasi-reversible. This quasi-reversible automaton has nearly the same properties as a reversible one and can easily be turnes into a reversible automaton.
Fichier principal
Vignette du fichier
hal.pdf (222 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-00620037 , version 1 (03-10-2011)

Identifiers

  • HAL Id : hal-00620037 , version 1

Cite

Sylvain Lombardy. On the construction of reversible automata for reversible languages. 29th International Colloquium on Automata, Languages and Programming (ICALP 2002), Jul 2002, Malaga, Spain, Spain. pp.170-182. ⟨hal-00620037⟩
87 View
264 Download

Share

Gmail Facebook Twitter LinkedIn More