Varieties generated by certain models of reversible finite automata - Archive ouverte HAL
Conference Papers Year : 2006

Varieties generated by certain models of reversible finite automata

Marats Golovkins
  • Function : Author
  • PersonId : 836566

Abstract

Reversible finite automata with halting states (RFA) were first considered by Ambainis and Freivalds to facilitate the research of Kondacs-Watrous quantum finite automata. In this paper we consider some of the algebraic properties of RFA, namely the varieties these automata generate. Consequently, we obtain a characterization of the boolean closure of the classes of languages recognized by these models.
Fichier principal
Vignette du fichier
Cocoon06.pdf (141.97 Ko) Télécharger le fichier
Loading...

Dates and versions

hal-00112855 , version 1 (09-11-2006)

Identifiers

  • HAL Id : hal-00112855 , version 1

Cite

Marats Golovkins, Jean-Eric Pin. Varieties generated by certain models of reversible finite automata. 2006, pp.83-93. ⟨hal-00112855⟩
157 View
77 Download

Share

More