Ensembles reconnaissables de séries formelles sur un corps fini
Texte intégral
Documents relatifs
Dans une première partie, nous exposons donc un certain nombre de résultats relatifs aux séries formelles qui sont quotients de deux séries formelles à coefficients dans un
On montre que le produit d’Hadamard d’une série rationnelle et d’une série algébrique (resp.. rationnelle) est une série algébrique
Il résulte en particulier du théorème de Kleene que l'ensemble des langages rationnels de A est fermé pour les opérations booléennes finies et pour le quotient à gauche (resp.
Dans le cas contraire, il est possible que même certaines parties finies de A*/ ~ ne soient pas reconnaissables, comme le montre l'exemple suivant : si A = {a, b}, 0 = 0 , R=(ab,
- On caractérise les séries d'arbre reconnaissables en utilisant des représentations matricielles; on montre en plus que l'image d'une telle représentation dont la dimension
Elles sont également liées à la théorie des fluctuations de sommes de variables aléatoires (cf. telles que X et Y soient des parties reconnaissables de A*. Ces résultats sont liés
De même, la notion de matrice de Hankel associée à une série formelle (cf. 205), permet sous l'hypothèse que K est un anneau commutatif, de caractériser les séries rationnelles
Nous définissons donc les classes de forêts M[ et M t comme les images par des transductions descendantes déterministes et non déterministes de forêts reconnaissables monadiques