  It is generally well agreed that developing a unifying theory is one of the
most important issues in Data Mining research. In the last two decades, a great
deal of work has been devoted to the algorithmic aspects of the Frequent
Itemset (FI) Mining problem. We are motivated by the need for formal modeling
in the field. Thus, we introduce and analyze, in this theoretical study, a new
model for the FI mining task. Indeed, we encode the itemsets as words over an
ordered alphabet, and state this problem by a formal series over the counting
semiring $(\mathbb{N},+,\times,0,1)$, whose range constitutes the itemsets and
the coefficients are their supports. This formalism offers many advantages in
both fundamental and practical aspects: the introduction of a clear and unified
theoretical framework through which we can express the main FI-approaches, the
possibility of their generalization to mine other more complex objects, and
their incrementalisation or parallelisation; in practice, we explain how this
problem can be seen as that of word recognition by an automaton, allowing an
efficient implementation in $O(|Q|)$ space and $O(|\mathcal{F}_L||Q|])$ time,
where $Q$ is the set of states of the automaton used for representing the data,
and $\mathcal{F}_L$ the set of prefixial longest FI.
