Sequentialization and unambiguity of (max,+) rational series over one letter
Résumé
We present an algorithm to decide whether a (max,+)-rational series over one letter is sequential. We discuss the relation between sequentiality and unambiguity of rational series.
Origine | Fichiers produits par l'(les) auteur(s) |
---|