Quotients d'automates pondérés et de séries rationnelles
From LRDE
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.
- Auteurs
- Thibaud Michaud
- Type
- techreport
- Année
- 2016
- Numéro
- 1603
Résumé
Dans ce rapport, nous montrons comment le quotient a été implémenté dans Vcsn, une bibliothèque générique et performante de manipulation d'automates. Après avoir défini le quotient à gauche et à droite de séries rationnelles, nous expliquons l'algorithme implémenté dans Vcsn pour calculer le quotient de deux automates. Nous explorons ensuite les conséquences de l'introduction du quotient du côté des expressions dans la bibliothèque, et plus particulièrement sur les expansions.