Article ID Journal Published Year Pages File Type
436579 Theoretical Computer Science 2008 8 Pages PDF
Abstract

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.

Related Topics
Physical Sciences and Engineering Computer Science Computational Theory and Mathematics