Les automates finis

National audienceWe present some recent applications using finite automata in the fields of text compression, coding, natural language processing and games

Algorithmique et Programmation. Automates finis. Chap. I/9

This is the introduction to Section I/9, Algorithms and Programming, of the Encyclopaedia of Computer Science and Information Systems. This section is devoted to three fundamental tools in computer science: algorithms, machine models and programming languages. Introduced around 1950, finite automata form the most elementary model of machine. This chapter presents automata in the usual sense, that accept or reject a given word and sequential automata, that produce an output. After a brief presentation of Kleene's theorem, the cornerstone of the theory of automata, we describe applications in various domains, notably their use as a verification model and their applications to natural languages

Algorithmique et Programmation. Introduction

This is the introduction to Section I/9, Algorithms and Programming, of the Encyclopaedia of Computer Science and Information Systems. This section is devoted to three fundamental tools in computer science: algorithms, machine models and programming languages

Décidabilité et Complexité

International audienceL'informatique fondamentale est un vaste sujet, comme en témoignent les 2 283 et 3 176 pages des "Handbooks" (228; 1). Couvrir en quelques dizaines de pages, l'ensemble de l'in- formatique nous a semblé une entreprise hors de notre portée. De ce fait, nous nous sommes concentrés sur la notion de calcul, sujet qui reflète le goût et la passion des auteurs de ce chapitre. La notion de calcul est omniprésente et aussi ancienne que les mathématiques

Contrôle des systèmes temporisés

Ce chapitre traite de la synthèse de contrôleurs pour les systèmes temporisés. Par systèmes temporisés nous entendons les systèmes dans lesquels des contraintes de temps quantitatives sont spécifées. Les notions de base que nous utilisons dans ce chapitre s'appuient sur les concepts introduits dans les chapitre 3 et chapitre 4 ; la lecture de ces chapitres est donc recommandée au lecteur qui ne connaitrait pas les fondements des automates temporisés

GraalWeb ou accéder à une bibliothèque décentralisée de grammaires locales

International audienc

Une approche formelle pour la génération d'analyseurs de langages naturels

[Abstract] Un processus d'analyse syntaxique et d'annotation efficace est déterminante dans l'élaboration de structures d'analyse de langages naturels. Ce papier introduit un environnement de programmation permettant l'implémentation du support formel des langages naturels depuis deux points de vue, analyse syntaxique et annotation. Le problème de l'analyse syntaxique se pose dans le domaine de l'analyse de grammaires algébriques sans restrictions, et celui de l'annotation dans le contexte des automates finis non déterministes. L'analyseur syntaxique prends en entrée un texte arbitraire, suivant la structure désignée par une grammaire algébrique. La structure de la forêt partagée résultante est étudiée par rapport à l'optimisation du partage syntaxique, de façon à favoriser l'élimination des ambigüités pendant le processus sémantique. Les automates à états finis sont utilisés comme formalisme opérationnel pour annoter les corpora de façon efficace, spécialement pour les langages autres que l'Anglais, pour lesquels l'analyse morphologique a une relevance accrue. Les deux activités, analyse syntaxique et annotation, sont intégrées dans un même outil, qui a pour nom Galena (pour Generador de Analizadores para Lenguages Naturales), fournissant l'incrémentalité comme fonctionnalité favorisant la réutilisabilité des composantes d'un point de vue génie logiciel.Xunta de Galcia; XUGA10501A9

Vers la reconnaissance de mini-messages manuscrits

International audienceHandwriting is an alternative method for entering texts which composed Short Message Services. However, a whole new language features the texts which are produced. They include for instance abbreviations and other consonantal writing which sprung up for time saving and fashion. We have collected and processed a significant number of such handwritten SMS, and used various strategies to tackle this challenging area of handwriting recognition. We proposed to study more specifically three different phenomena: consonant skeleton, rebus, and phonetic writing. For each of them, we compare the rough results produced by a standard recognition system with those obtained when using a specific language model to take care of them