Another proof of Soittola's theorem

DOI10.1016/J.TCS.2007.11.020MaRDI QIDQ2481964zbMATH OpenOpenAlexFDO

Authors Jean Berstel, Christophe Reutenauer

Publication date 15 April 2008

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.tcs.2007.11.020

zbMATH Keywords

formal power seriesrational seriespoles of rational fractions

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Formal power series rings (13F25)

Recommendations

• Non-commutative rational power series and algebraic generating functions
• scientific article; zbMATH DE number 41838
• \(\mathbb Z\)-rationality of a certain class of formal series
• Automata and the arithmetic of formal power series
• Transcendence of formal power series with rational coefficients

Cites work

• scientific article; zbMATH DE number 3766017 (Why is no real title available?)
• scientific article; zbMATH DE number 3779399 (Why is no real title available?)
• scientific article; zbMATH DE number 41838 (Why is no real title available?)
• scientific article; zbMATH DE number 3497806 (Why is no real title available?)
• scientific article; zbMATH DE number 3527610 (Why is no real title available?)
• scientific article; zbMATH DE number 3588051 (Why is no real title available?)
• scientific article; zbMATH DE number 3414421 (Why is no real title available?)
• A technology for reverse-engineering a combinatorial problem from a rational generating function
• Characterization of the structure-generating functions of regular sets and the DOL growth functions
• Nonnegative companion matrices and star-height of \(\mathbb{N}\)-rational series
• On positive matrices
• Positive rational sequences
• Positivity of second order linear recurrent sequences
• Regular languages and their generating functions: The inverse problem

Cited in

(10)

• Recurrence relations, succession rules, and the positivity problem
• Another proof of Hurewicz theorem
• scientific article; zbMATH DE number 7152067 (Why is no real title available?)
• Recurrence relations, succession rules and the positivity problem
• \(\mathbb Z\)-rationality of a certain class of formal series
• On the number of fixed points of a sofic shift-flip system
• Another demonstration of the theorem by Hojman and Harleston
• scientific article; zbMATH DE number 5180880 (Why is no real title available?)
• Nonnegative companion matrices and star-height of \(\mathbb{N}\)-rational series
• scientific article; zbMATH DE number 5048455 (Why is no real title available?)

Describes a project that uses

Uses Software

• RLangGFun

This page was built for publication: Another proof of Soittola's theorem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2481964)