文章基本信息

标题：A Robust Class of Linear Recurrence Sequences
本地全文：下载
作者：Corentin Barloy ; Nathana{"e}l Fijalkow ; Nathan Lhote 等
期刊名称：LIPIcs : Leibniz International Proceedings in Informatics
电子版ISSN：1868-8969
出版年度：2020
卷号：152
页码：1-16
DOI：10.4230/LIPIcs.CSL.2020.9
出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
摘要：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.
关键词：linear recurrence sequences; weighted automata; cost-register automata