SIGNALER une erreur

Gestion de ressources des transductions régulières sur les mots

par Félix Baschenis

Thèse de doctorat en Informatique

Sous la direction de Anca Muscholl, Olivier Gauwin et de Gabriele Puppis.

Thèses en préparation à Bordeaux , dans le cadre de École doctorale de mathématiques et informatique (Talence, Gironde) , en partenariat avec Laboratoire bordelais de recherche en informatique (laboratoire) et de Méthodes Formelles (equipe de recherche) depuis le 01-09-2014 .


  • Résumé

    Le but de la thèse est d'étudier les transductions régulières et en particulier les transducteurs à états fini. Après la preuve en 2013 de la décidabilité du problème d'existence d'un transducteur unidirectionnel équivalent à un transducteur bidirectionnel donné, l'objectif est d'obtenir une procédure de décision de complexité élémentaire, et éventuellement fournir des bornes intéressantes sur ces complexités. La suite du projet est d'utiliser ces techniques pour analyser la gestion de ressources des machines différentes du nombre d'états, pour les transducteurs comme pour d'autres modèles de transductions.

  • Titre traduit

    Minimizing resources for regular word transductions


  • Résumé

    The goal of this thesis is to study regular transductions and in particular finite state transducers. After it has been proven that the existence of an equivalent one-way transducer for a given two-way transducer is decidable, our goal was to obtain a decision procedure of elementary complexity, and maybe obtain tight bounds on this complexity. The rest of the projet consists of using those techniques to analyse the management of alternatives resources to the number of states, for transducers as for other machines for regular transductions.