Automates lexicaux

Automates lexicaux Les automates et transducteurs finis ont prouvé leur utilité dans une large va- riété d’applications en informatique linguistique. Ils permettent par exemple une représentation compacte et à accès rapide pour les lexiques à large cou- verture [Revuz, 1991]...

Automates two-way à multiplicité

Automates two-way à multiplicité Une question classique en théorie des automates concerne la puissance d’expression d’un outil et plus particulièrement la différence entre les sys- tèmes unidirectionnels et les systèmes bidirectionnels. Il est bien connu que les automates bidirectionnels peuvent...

Aperçu sur les automates et les transducteurs

Aperçu sur les automates et les transducteurs Dans le domaine d’EI, divers formalismes (automates à nombre fini d’états, les transducteurs et les réseaux de transition) sont exploités par les chercheurs afin d’aboutir des modèles formels définissant rigoureusement leurs méthodes proposées....

Algorithme de complétion pour automates d’arbres à treillis

Algorithme de complétion pour automates d’arbres à treillis Nous allons voir dans ce chapitre que les techniques actuelles liées au Model-Checking régulier sur arbres ne permettent pas de capturer efficacement à la fois la structure complexe d’un système et certaines...

Actions d’automates cellulaires algébriques sur des suites périodiques

Actions d’automates cellulaires algébriques sur des suites périodiques Nous allons voir au sein de cette partie qu’une discipline comme la musique peut ame- ner à se poser des questions mathématiques liées aux automates cellulaires. Nous allons voir que les résultats...

Etude de la compétition entre corrosion uniforme et localisée par automates cellulaires

Etude de la compétition entre corrosion uniforme et localisée par automates cellulaires Généralités sur la corrosion Selon la norme ISO 8044 , la corrosion est définie comme “l’interaction physicochimique entre un métal et son milieu environnant entraînant des modifications dans...

Construction des automates des termes dérivés et termes dérivés cassés

Construction des automates des termes dérivés et termes dérivés cassés Dans ce chapitre, nous expliciterons une construction pour l’automate des termes dérivés et pour l’automate des termes dérivés cassés. La première construction d’un automate des termes dérivés est donnée dans...

La prédiction de la dynamique d’un réseau d’automates

Modules La prédiction de la dynamique d’un réseau d’automates est un problème difficile, de par le fait que cette dynamique est exponentielle en la taille du réseau. Une des approches pour contourner ce problème est de diviser le réseau étudié...

Les réseaux d’automates acycliques

Acyclicité : Les réseaux d’automates acycliques Les réseaux d’automates acycliques sont une famille de réseaux d’automates parmi les plus simples, et consécutivement une des rares familles de réseaux d’automates dont nous comprenons entièrement le comportement. L’acyclicité ici est définie dans...

Transfert des données entre deux automates

Transfert des données entre deux automates Télécharger le cours complet