IRIS Institutional Research Information System - AIR Archivio Istituzionale della Ricerca
IRIS è il sistema di gestione integrata dei dati della ricerca (persone, progetti, pubblicazioni, attività) adottato dall'Università degli Studi di Milano.
AIR nasce in UNIMI nel 2006 con lo scopo di raccogliere, documentare e conservare le informazioni sulla produzione scientifica dell'Università degli Studi di Milano e costituisce di fatto l'Anagrafe della ricerca dell'Ateneo.
EnglishIn 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.
| Titolo: | Saddle Point Method in the analysis of pattern statistics for regular languages |
| Autori: | |
| Parole Chiave: | rational formal series; pattern statistics; limit distributions; local limit laws; Saddle Point Method |
| Settore Scientifico Disciplinare: | Settore INF/01 - Informatica Settore MAT/05 - Analisi Matematica |
| Data di pubblicazione: | 2019 |
| Enti collegati al convegno: | Italian Chapter of the European Association for Theoretical Computer Science, Università degli Studi dell'Insubria |
| URL: | http://ceur-ws.org/Vol-2504/paper10.pdf |
| Tipologia: | Book Part (author) |
| Appare nelle tipologie: | 03 - Contributo in volume |
File in questo prodotto:
| File | Descrizione | Tipologia | Licenza | |
|---|---|---|---|---|
| ictcs19_insitomat.pdf | Publisher's version/PDF | Open Access Visualizza/Apri |
Copyright © 2021