Machines d'Eilenberg Effectives - TEL - Thèses en ligne Accéder directement au contenu
Thèse Année : 2009

Machines d'Eilenberg Effectives

Résumé

Effective Eilenberg Machines.
La théorie des automates est apparue pour résoudre des problèmes aussi bien pratiques que théoriques, et ceci dès le début de l'informatique. Désormais, les automates font partie des notions fondamentales de l'informatique, et se retrouvent dans la plupart des logiciels. En 1974, Samuel Eilenberg proposa un modèle de calcul qui unifie la plupart des automates (transducteurs, automates à pile et machines de Turing) et qui a une propriété de modularité intéressante au vu d'applications reposant sur différentes couches d'automates ; comme cela peut être le cas en linguistique computationnelle. Nous proposons d'étudier les techniques permettant d'avoir des machines d'Eilenberg effectives. Cette étude commence par la modélisation de relations calculables à base de flux, puis continue avec l'étude de la simulation des machines d'Eilenberg définies avec ces relations. Le simulateur est un programme fonctionnel énumérant progressivement les solutions, en explorant un espace de recherche selon différentes stratégies. Nous introduisons, en particulier, la notion de machine d'Eilenberg finie pour laquelle nous fournissons une preuve formelle de correction de la simulation. Les relations sont une première composante des machines d'Eilenberg, la deuxième composante étant son contrôle, qui est défini par un automate fini. Dans ce contexte, on peut utiliser une expression régulière comme syntaxe pour décrire la composante de contrôle d'une machine d'Eilenberg. Récemment, un ensemble de travaux exploitant la notion de dérivées de Brzozowski, a été la source d'algorithmes efficaces de synthèse d'automates non-déterministes à partir d'expressions régulières. Nous faisons l'état de l'art de ces algorithmes, tout en donnant une implémentation efficace en OCaml permettant de les comparer les uns aux autres.
Fichier principal
Vignette du fichier
these.pdf (737.71 Ko) Télécharger le fichier
Loading...

Dates et versions

tel-00463049 , version 1 (11-03-2010)

Identifiants

  • HAL Id : tel-00463049 , version 1

Citer

Benoit Razet. Machines d'Eilenberg Effectives. Informatique [cs]. Université Paris-Diderot - Paris VII, 2009. Français. ⟨NNT : ⟩. ⟨tel-00463049⟩

Collections

INRIA INRIA2
253 Consultations
490 Téléchargements

Partager

Gmail Facebook X LinkedIn More