Thèse en cours

Gestion de ressources des transductions régulières sur les mots
FR  |  
EN
Accès à la thèse
Triangle exclamation pleinLa soutenance a eu lieu le 05/12/2017. Le document qui a justifié du diplôme est en cours de traitement par l'établissement de soutenance.
Auteur / Autrice : Félix Baschenis
Direction : Anca MuschollOlivier GauwinGabriele Puppis
Type : Projet de thèse
Discipline(s) : Informatique
Date : Inscription en doctorat le 01/09/2014
Soutenance le 05/12/2017
Etablissement(s) : Bordeaux
Ecole(s) doctorale(s) : École doctorale de mathématiques et informatique (Talence, Gironde ; 1991-....)
Partenaire(s) de recherche : Laboratoire : Laboratoire bordelais de recherche en informatique
Equipe de recherche : Méthodes Formelles

Mots clés

FR  |  
EN

Résumé

FR  |  
EN

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.