From Hadamard Expressions to Weighted Rotating Automata and Back - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2017

From Hadamard Expressions to Weighted Rotating Automata and Back

Résumé

This paper deals with the conversion of expressions denoting Hadamard series into weighted rotating automata. We prove that any algorithm converting rational series into one-way weighted automata can be extended to provide an algorithm which achieves our goal. We apply this to define the derivation and the follow automata of a Hadamard expression. Our method is also used to extend algorithms which perform the inverse conversion, up to some adjustment in order to fulfill some constraints.
Fichier non déposé

Dates et versions

hal-01544105 , version 1 (21-06-2017)

Identifiants

Citer

Louis-Marie Dando, Sylvain Lombardy. From Hadamard Expressions to Weighted Rotating Automata and Back. 22nd International Conference Implementation and Application of Automata, CIAA 2017, Jun 2017, Marne-la-Vallée, France. pp.163-174, ⟨10.1007/978-3-319-60134-2_14⟩. ⟨hal-01544105⟩

Collections

CNRS
169 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More