Quotients d'automates pondérés et de séries rationnelles
From LRDE
- 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.