Gestion de ressources des transductions régulières sur les mots
FR |
EN
Auteur / Autrice : | Félix Baschenis | |
Direction : | Anca Muscholl, Olivier Gauwin, Gabriele 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
Mots clés libres
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.