Algebraic Elimination of epsilon-transitions - Archive ouverte HAL
Article Dans Une Revue Discrete Mathematics and Theoretical Computer Science Année : 2005

Algebraic Elimination of epsilon-transitions

Résumé

We present here algebraic formulas associating a k-automaton to a k-epsilon-automaton. The existence depends on the definition of the star of matrices and of elements in the semiring k. For this reason, we present the theorem which allows the transformation of k-epsilon-automata into k-automata. The two automata have the same behaviour.

Domaines

Calcul formel [cs.SC]
Fichier principal
Vignette du fichier
hal-00003545.pdf (174.35 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Alain Monteil  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00003545

Soumis le : lundi 16 février 2015-14:47:04

Dernière modification le : vendredi 29 novembre 2024-03:29:29

Archivage à long terme le : jeudi 28 mai 2015-15:30:52

Télécharger pour visualiser

Dates et versions

hal-00003545 , version 1 (16-02-2015)

Licence

Paternité - Pas d'utilisation commerciale

Identifiants

Citer

Gérard Henry Edmond Duchamp, Hatem Hadj Kacem, Eric Laugerotte. Algebraic Elimination of epsilon-transitions. Discrete Mathematics and Theoretical Computer Science, 2005, Vol. 7, pp.51-70. ⟨10.46298/dmtcs.358⟩. ⟨hal-00003545⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-PARIS13 CNRS OCA LIPN COMUE-NORMANDIE GALILE UNIROUEN SORBONNE-PARIS-NORD ACT-R
568 Consultations
784 Téléchargements

Altmetric

Partager

More