Le montage alterné, un langage programmé

Signal : un langage pour le traitement du signal

Albert BENVENISTE est ingénieur des Mines de Paris . Après des premiers travaux en probabilité (thèse d'État à Paris-VI en 1975), il s'intéresse au traitement du signal . Il est conseiller au CNET Lannion B, entre 1978 et 1982. Depuis, son principal domaine d'intérêt comme chercheur à l'INRSA (IRISA, Rennes) est le développement d'outils d'aide à l'implantation d'algorithmes de traitement du si...

Un langage algébrique particulier

— 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...

Un modèle probabiliste pour la détection de l'incertitude dans le langage naturel

Designing approaches able to automatically detect uncertain natural language expressions is central to design efficient models based on text analysis – for domains such as question-answering, approximate reasoning, knowledge-based population. This article proposes an overview of several contributions and classifications defining the concept of uncertainty expressions in natural language, and th...

Sur le Monoide Syntactique de L Lorsque L est un Langage Fini

We prove that for every finite monoid M , there exists a finite language L such that M divides the syntactic monoid of L∗. Moreover, one can choose for L a full finite prefix code. The same result for finite group has already been proved by Schützenberger. This result is crucial in the proof of the J.-F. Perrot’s theorem that the only variety closed under star operation is the variety of all ra...

LUSTRE : un langage déclaratif pour le temps réel. (LUSTRE: a real time declarative language)