Another proof of Soittola’s theorem

Soittola’s theorem characterizes R + - or N -rational formal power series in one variable among the rational formal power series with nonnegative coefficients. We present here a new proof of the theorem based on Soittola’s and Perrin’s proofs together with some new ideas that allows us to separate a...

Full description

Saved in:
Bibliographic Details
Published in:Theoretical computer science 2008-03, Vol.393 (1), p.196-203
Main Authors: Berstel, Jean, Reutenauer, Christophe
Format: Article
Language:English
Subjects:
Applied sciences
Computer Science
Computer science
control theory
systems
Data Structures and Algorithms
Exact sciences and technology
Formal power series
Miscellaneous
Poles of rational fractions
Rational series
Theoretical computing
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Soittola’s theorem characterizes R + - or N -rational formal power series in one variable among the rational formal power series with nonnegative coefficients. We present here a new proof of the theorem based on Soittola’s and Perrin’s proofs together with some new ideas that allows us to separate algebraic and analytic arguments.
ISSN:0304-3975
1879-2294
DOI:10.1016/j.tcs.2007.11.020