On Rational Stochastic Languages
François Denis and Yann Esposito
Fundamenta Informaticae Volume 86, Number 1-2, pp. 41-77, 2008. ISSN 0169-2968

## Abstract

The goal of the present paper is to provide a study of \emph{rational stochastic languages} over a semiring $K\in \{{\mathbb Q}, {\mathbb R}, {\mathbb Q}^+, {\mathbb R}^+\}$. A rational stochastic language is a probability distribution over a free monoid $\Sigma^*$, which is rational over $K$, that is, which can be generated by a multiplicity automaton with parameters in $K$. We study the relations between the classes of rational stochastic languages ${\cal S}_{K}^{rat}(\Sigma)$. We define the notion of \emph{residual language} of a stochastic language and we use it to investigate properties of several subclasses of rational stochastic languages. Then, we study the representation of rational stochastic languages by means of multiplicity automata. Lastly, we show some connections between properties of rational stochastic languages and results obtained in the field of probabilistic grammatical inference.

EPrint Type: Article Project Keyword UNSPECIFIED Theory & Algorithms 4892 François Denis 24 March 2009