In a recent work we have determined the local limit distribution of pattern statistics representing the number of occurrences of a symbol in words of length $n$ in a regular language generated at random according to a suitable stochastic model. Such a model is defined by a finite automaton with weights in $R_+$, consisting of two primitive components, having some transition from the first to the second component. In the present work we extend those results to the case when there is no communication among the components, and hence the associated formal series is the sum of two rational series recognized by finite state automata with primitive transition matrix. We obtain local limit laws of Gaussian type when there is a dominant component or when, in equipotent case, the main terms of mean value and variance are equal. On the contrary, if these terms are not the same then the local limit distribution is a convex combination of Gaussian laws. All convergence rates of our limits are of the order $O(n^{-1/2})$. This completes the analysis of local limit laws of symbol statistics under a bicomponent stochastic model.
Saddle Point Method in the analysis of pattern statistics for regular languages / M. Goldwurm, J. Lin, M. Vignati (CEUR WORKSHOP PROCEEDINGS). - In: ICTCS 2019 : 20th Italian Conference on Theoretical Computer Science / [a cura di] A. Cherubini, N. Sabadini, S. Tini. - Prima edizione. - [s.l] : CEUR Workshop Proceedings, 2019. - pp. 78-90 (( Intervento presentato al 20. convegno Italian Conference on Theoretical Computer Science tenutosi a Como nel 2019.
Saddle Point Method in the analysis of pattern statistics for regular languages
M. Goldwurm
;M. Vignati
2019
Abstract
In a recent work we have determined the local limit distribution of pattern statistics representing the number of occurrences of a symbol in words of length $n$ in a regular language generated at random according to a suitable stochastic model. Such a model is defined by a finite automaton with weights in $R_+$, consisting of two primitive components, having some transition from the first to the second component. In the present work we extend those results to the case when there is no communication among the components, and hence the associated formal series is the sum of two rational series recognized by finite state automata with primitive transition matrix. We obtain local limit laws of Gaussian type when there is a dominant component or when, in equipotent case, the main terms of mean value and variance are equal. On the contrary, if these terms are not the same then the local limit distribution is a convex combination of Gaussian laws. All convergence rates of our limits are of the order $O(n^{-1/2})$. This completes the analysis of local limit laws of symbol statistics under a bicomponent stochastic model.File | Dimensione | Formato | |
---|---|---|---|
ictcs19_insitomat.pdf
accesso aperto
Tipologia:
Publisher's version/PDF
Dimensione
382.91 kB
Formato
Adobe PDF
|
382.91 kB | Adobe PDF | Visualizza/Apri |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.