| Autor: |
Barloy, Corentin, Fijalkow, Nathanaël, Lhote, Nathan, Mazowiecki, Filip |
| Rok vydání: |
2019 |
| Předmět: |
|
| Druh dokumentu: |
Working Paper |
| Popis: |
We introduce a subclass of linear recurrence sequences which we call poly-rational sequences because they are denoted by rational expressions closed under sum and product. We show that this class is robust by giving several characterisations: polynomially ambiguous weighted automata, copyless cost-register automata, rational formal series, and linear recurrence sequences whose eigenvalues are roots of rational numbers. |
| Databáze: |
arXiv |
| Externí odkaz: |
|
