Cet article décrit une algèbre de requête floue adaptée à l’interrogation flexible de bases de données graphes. Cette algèbre, fondée sur la théorie des ensembles flous et sur la notion de graphe flou, se compose d’un ensemble d’opérateurs permettant de formuler des requêtes à préférences sur des objets de type graphe, flous ou non. Les préférences exprimables dans ce cadre peuvent concerner i)...

La strat6gie pr6sent6e i c ies t it l'origine d'un systi~mc int6gr6 de Traitement Automatique du Langage Naturel le syst~me PLUS (Progressive Language Understanding System), dans lequel les composantes thdoriques traditionnelles, syntaxe, s6mantique et diseours, sont li~es pour former un tout. Le syst~me est ~crit dmls uu seul formalisme, PLNLP (Programming Language for Natural Language Process...

Résumé. Le déréférencement de références nulles est une erreur de programmation courante dans les langages à objets. Pour la prévenir, certaines approches garantissent statiquement son absence à l’aide de systèmes de types ou d’annotations mais réduisent l’expressivité du langage. D’autres approches analysent plutôt le code source pour identifier les erreurs potentielles, mais peuvent trouver d...

General Systems Logical Theory is based on the input-output systems paradigm. The language of this theory is now formalized within a categorical framework to create a new hierarchical structure of systems by n-dimensional commutative diagrams. The power of the language is illustrated by the increased expressiveness it provides for categorical concepts themselves. La th eorie logique des syst em...

— The topological structure of the adhérence of a regular language is characterized by afînite invariant structure that can be algorithmically constructed from any automaton recognizing the language. Homeomorphism of the adhérences of regular languages can be decided by constructing and comparing their associated invariant structures. These results are obtained by applying concepts and analyses...