A characterization of those automata that structurally generate finite groups

Abstract : Antonenko and Russyev independently have shown that any Mealy automaton with no cycles with exit--that is, where every cycle in the underlying directed graph is a sink component--generates a fi- nite (semi)group, regardless of the choice of the production functions. Antonenko has proved that this constitutes a characterization in the non-invertible case and asked for the invertible case, which is proved in this paper.
Type de document :
Communication dans un congrès
11th Latin American Theoretical INformatics Symposium (LATIN 2014), 2014, Uruguay. 8392, pp.180--189, 2014
Liste complète des métadonnées

Littérature citée [21 références]  Voir  Masquer  Télécharger

https://hal-univ-diderot.archives-ouvertes.fr/hal-00877087
Contributeur : Ines Klimann <>
Soumis le : vendredi 25 octobre 2013 - 21:32:47
Dernière modification le : jeudi 11 janvier 2018 - 06:17:42
Document(s) archivé(s) le : lundi 27 janvier 2014 - 13:40:25

Fichiers

arxiv.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00877087, version 1
  • ARXIV : 1310.7137

Collections

Citation

Ines Klimann, Matthieu Picantin. A characterization of those automata that structurally generate finite groups. 11th Latin American Theoretical INformatics Symposium (LATIN 2014), 2014, Uruguay. 8392, pp.180--189, 2014. 〈hal-00877087〉

Partager

Métriques

Consultations de la notice

225

Téléchargements de fichiers

90