On Rational Stochastic Languages

Article type: Research Article

Authors: Denis, François | Esposito, Yann

Affiliations: Laboratoire d'Informatique Fondamentale de Marseille CNRS, Aix-Marseille Université, France. E-mails: francois.denis@lif.univ-mrs.fr, yann.esposito@lif.univ-mrs.fr

Note: [] Address for correspondence: LIF-CMI, 39, rue F. Joliot Curie, 13013 Marseille, France

Abstract: The goal of the present paper is to provide a study of rational stochastic languages over a semiring K ∈ {Q,R,Q^+,R^+}. A rational stochastic language is a probability distribution over a free monoid Σ*, 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 S^{rat}_K(Σ). We define the notion of 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.

Journal: Fundamenta Informaticae, vol. 86, no. 1-2, pp. 41-77, 2008