Building the Minimal Automaton of A*X in Linear Time, When X Is of Bounded Cardinality - Archive ouverte HAL
Communication Dans Un Congrès Année : 2010

Building the Minimal Automaton of A*X in Linear Time, When X Is of Bounded Cardinality

Omar Aitmous
  • Fonction : Auteur
  • PersonId : 866519
Laboratoire d'Informatique de Paris-Nord
Frédérique Bassino
Laboratoire d'Informatique de Paris-Nord
Cyril Nicaud
Laboratoire d'Informatique Gaspard-Monge
CV

Résumé

We present an algorithm for constructing the minimal automaton recognizing A∗X, where the pattern X is a set of m (that is a fixed integer) non-empty words over a finite alphabet A whose sum of lengths is n. This algorithm, inspired by Brzozowski's minimization algorithm, uses sparse lists to achieve a linear time complexity with respect to n.

Domaines

Mathématique discrète [cs.DM]
Fichier principal
Vignette du fichier
cpm2010.pdf (191.07 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Cyril Nicaud  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00450674

Soumis le : jeudi 20 mai 2010-20:09:59

Dernière modification le : jeudi 19 décembre 2024-16:50:03

Archivage à long terme le : jeudi 23 septembre 2010-12:52:17

Télécharger pour visualiser

Dates et versions

hal-00450674 , version 1 (26-01-2010)
hal-00450674 , version 2 (20-05-2010)

Identifiants

  • HAL Id : hal-00450674 , version 2

Citer

Omar Aitmous, Frédérique Bassino, Cyril Nicaud. Building the Minimal Automaton of A*X in Linear Time, When X Is of Bounded Cardinality. 21st Annual Symposium on Combinatorial Pattern Matching (CPM 2010), Jun 2010, United States. pp.275-287. ⟨hal-00450674v2⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-PARIS13 ENPC CNRS UNIV-MLV LIGM_ALGO INSMI OCA PARISTECH LIGM LIGM_MOA LIPN TDS-MACS GALILE SORBONNE-PARIS-NORD UNIV-EIFFEL ACT-R LIGM_BAAM
141 Consultations
207 Téléchargements

Partager

More