Prolog infinite trees and automata
Proposal for a natural formalization of functional programming concepts
Propositional calculus for adjointness lattices.
Propositional dynamic logic with recursive programs
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 de permanence et existence de réalisations minimales pour les algèbres multisortes
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é.
Pseudomorphisms of automata
Puiseux series solutions of ordinary polynomial differential equations: complexity study.
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