— Counting languages are the languages of the form {axa\.. .a n t\ t^2, n^ 1} where au ..., atare letters no two consécutive ofwhich are identical. They possess a "clean structure" in the sensé that if an arbitrary wordfrom such a language is eut in t subwords ofequal length then no two consécutive subwords contain an occurrence of the same letter, It is shown that whenever an FPOL system G is ...

— 11 is well-known that thefamily of context-free languages is a full principal AFL. It thus contains a largestfûll sub-AFL, denoted Nge, consisting ofthe languages which are notfull generators. One ofthe major problems (still unsolved) is to know whether this AFL is principal or not. The main resuit in this direction states that Ngestrictly contains thefamily Gre ofthe Greibach languages ( — t...

— The subword complexity of a language K is the function nK on positive integer s such that nK (n) equals the number of different subwords of length n appearing in words of X. We investigate the relationship between nk(K) and nK where Kis a language and h is a homorphism. This study is aiso carried out for the special case when Kis a DOL language. Resumé. — La complexité des facteurs d'un langa...

RÉSUMÉ. Le langage de requête est l’indispensable interface entre l’utilisateur et l’outil de recherche. Simplifié au maximum dans les cas où les moteurs indexent essentiellement des documents plats, il devient fort complexe lorsqu’il s’adresse à des documents structurés et qu’il s’agit de définir des contraintes portant à la fois sur la structure et le contenu. L’approche icidécrite propose d’...

On explore dans cet article les possibilités d’intégration de la métaheuristique d’optimisation par colonies de fourmis (ACO) dans un langage de programmation par contraintes (PPC). L’idée est d’utiliser un langage de PPC pour décrire le problème à résoudre, ainsi que pour propager et vérifier les contraintes, et d’utiliser ACO pour guider la recherche de solutions. On illustre notre approche s...

Acknowledgements are too important to be expressed in a language that is not well mastered. For this reason, I choose to mostly write them in French. On perçoit souvent le chercheur comme une entité isolée, déconnectée du réel et du monde des vivants. Ce n'est pas mon cas. Si j'ai choisi de travailler sur les langages de programmation, c'est qu'` a mon sens le verbe est essentieì a la construct...

We present a proof system for a simple data-parallel kernel language called L. This proof system is based on a two-component assertion language. We deene a weakest preconditions calculus and analyse its deenability properties. This calculus is used to prove the completeness of the proof system. We also present a two-phase proof methodology, yielding proofs similar to those for scalar languages....