Cedric Loi ; Paul-Henry Cournède ; Jean Françon
-
A symbolic method to compute the probability distribution of the number of pattern occurences in random texts generated by stochastic 0L-systems
dmtcs:2774 -
Discrete Mathematics & Theoretical Computer Science,
January 1, 2010,
DMTCS Proceedings vol. AM, 21st International Meeting on Probabilistic, Combinatorial, and Asymptotic Methods in the Analysis of Algorithms (AofA'10)
-
https://doi.org/10.46298/dmtcs.2774
A symbolic method to compute the probability distribution of the number of pattern occurences in random texts generated by stochastic 0L-systemsArticle
Authors: Cedric Loi 1,2; Paul-Henry Cournède 2,1; Jean Françon 3
NULL##0000-0001-7679-6197##NULL
Cedric Loi;Paul-Henry Cournède;Jean Françon
1 Modélisation de la croissance et de l'architecture des plantes
2 Mathématiques Appliquées aux Systèmes - EA 4037
3 Département d'informatique
The analysis of pattern occurrences has numerous applications, in particular in biology. In this article, a symbolic method is proposed to compute the distribution associated to the number of occurences of a specific pattern in a random text generated by a stochastic 0L-system. To that purpose, a semiring structure is set for combinatorial classes composed of weighted words. This algebraic structure relies on new union and concatenation operators which, under some assumptions, are admissible constructions. Decomposing the combinatorial classes of interest by using these binary operators enables the direct translation of specifications into a set of functional equations relating generating functions thanks to transformation rules. The article ends with two examples. The first one deals with unary patterns and the connection with multitype branching process is established. The second one is about a pattern composed of two letters and underlines the importance of writing a proper specification.
Volume: DMTCS Proceedings vol. AM, 21st International Meeting on Probabilistic, Combinatorial, and Asymptotic Methods in the Analysis of Algorithms (AofA'10)