Prolog infinite trees and automata
Propositions pour une formalisation du traitement psycholinguistique des phrases
Propriétés arithmétiques de séries rationnelles et ensembles denses
Propriétés arithmétiques des substitutions et automates infinis
L’objet de ce travail est d’étudier les propriétés arithmétiques et statistiques des mots infinis et des suites de nombres entiers engendrés par des substitutions sur un alphabet infini ou par des automates déterministes ayant un nombre infini dénombrable d’états. En particulier, nous montrons que si est une suite de nombres entiers engendrée par un automate dont le graphe étiqueté associé représente une marche aléatoire de moyenne nulle sur un réseau de ( entier positif), alors la suite ...
Propriétés de complexité pour une famille d'algorithmes de Markov
Propriétés et limites de la reconnaissance d’ensembles d’entiers par automates dénombrables
Nous étudions dans cet article deux familles d’ensembles d’entiers reconnaissables par des automates finis ou dénombrables. Les résultats concernant ces deux notions de reconnaissabilité qui sont présentés ici étendent de manière naturelle les résultats structurels usuels de la famille des ensembles -reconnaissables. Le cas particulier de l’ensemble des nombres premiers est également abordé.
Puissance extérieure d'un automate déterministe, application au calcul de la fonction zêta d'un système sofique
Pumping and pushdown machines
Pure interpretations of EOL forms