The rational skimming theorem
Jacques Sakarovitch
Abstract
We define the notion of K-covering of automata with
multiplicity (in a semiring K) that extend the one of covering of
automata.
We make use of this notion, together with the Schützenberger
construct that we
have explained in a previous work and that we briefly recall here,
in order to give a direct and constructive proof of a fundamental theorem
on N-rational power series.
Last modification:
3 February 2006